For each of the following arguments, $($i$)$ identify the atomic propositions and predicates $($that

is$,$ the non$-$compound propositions$),($ii$)$ translate the argument to Propositional or FirstOrder Logic, and then $($iii$)$ explain why the argument is or is not valid.

$($a$)$ Premises: It is not Monday. It is Wednesday.

Conclusion: If it is not Monday, then it is Wednesday.

$($b$)$ Premises: All integers are either prime or composite.

Conclusion: Either all integers are prime, or all integers are composite.

$($c$)$ Premises: If we build a satellite constellation, then we will complete the mission. If we

don$$t complete the mission, then the USA will lose Internet services. If the USA loses

Internet services, we$$ll get assistance from other countries.

Conclusion: If we get assistance from other countries, then we won$$t build a satellite

constellation.

$($d$)$ Premises: It is sunny today if it isn$$t cloudy today. It is not Wednesday today only if

it is not cloudy today. I had bacon with my breakfast today unless it is not Wednesday

today.

Conclusion: If I didn$$t have bacon with my breakfast today, then it is sunny today