Mathematical Foundations of Computing Problems Write each of the following conditional statements and the corresponding converse, inverse, and contrapositive as English sentences in the form “if ?, then ?.” Example: Whenever it rains, it pours. Answer: Original statement: If it rains, then it pours. Converse: If it pours, then it rains. Inverse: If it doesn’t rain, then it doesn’t pour. Contrapositive: If it doesn’t pour, then it doesn’t rain. 1.1 You can do it if you put your mind to it. 1.2 Being cold implies that you need a jacket. 1.3 Petting the cat is sufficient for it to purr.

Can someone help me solve this problems?

Mathematical Foundations of Computing Problems

1. Write each of the following conditional statements and the corresponding converse, inverse, and contrapositive as English sentences in the form “if ?, then ?.”
   Example: Whenever it rains, it pours.
   Answer:
   Original statement: If it rains, then it pours.
   Converse: If it pours, then it rains.
   Inverse: If it doesn’t rain, then it doesn’t pour.
   Contrapositive: If it doesn’t pour, then it doesn’t rain.
   1.1 You can do it if you put your mind to it.
   1.2 Being cold implies that you need a jacket.
   1.3 Petting the cat is sufficient for it to purr.
2. Determine the truth value of each of the following statements if the domain consists of all integers. If it is true, find a different domain for which it is false. If it is false, find a different domain for which it is true. Justify your answers.
   Example: ∀?(? ≤ ??)
   Answer:
   False. If ? = −1, then 2? = −2 and −1 > −2.
   True when the domain consists of all nonnegative integers. For all nonnegative integers ?, ? ≤ 2?.
   2.1 ∃?(? + ? = ?)
   2.2 ∀?(?^? ≥ ?)
   2.3 ∀?∃?(? > ?)
   2.4 ∃?∀?(?? > ?)
3. Let ?(?) be the statement “? is a freshman,” ?(?) be the statement “? is a sophomore,” and ?(?, ?) be the statement “? waved at ?.” If the domain of ? and ? consists of all students, express each of the following sentences in terms of ?(?), ?(?), ?(?, ?), quantifiers, and logical operators.
   Example: Some freshman waved at every sophomore.
   Answer:
   ∃?(?(?) ∧ ∀?(?(?) → ?(?, ?)))
   3.1 There is a freshman and a sophomore who waved at each other.
   3.2 There is a sophomore who was not waved at by any freshman.
   3.3 Every freshman waved at another freshman.
   3.4 There is exactly one sophomore who didn’t wave at any student.
4. Use the laws of propositional logic to prove that the following compound propositions are logically equivalent. You must indicate the name of the law used in each step of the proof.
   Example: ? → ? and ¬? → ¬?
   Answer:
   ? → ?
   ≡ ¬? ∨ ? Conditional identity
   ≡ ? ∨ ¬? Commutative law
   ≡ ¬? → ¬? Conditional identity
   4.1 (? ∧ ?) → ? and ? → ¬(? ∧ ¬?)
   4.2 (? → ?) ∨ (? → ?) and (? ∧ ?) → ?
   4.3 ? ↔ ? and (¬? ∧ ¬?) ∨ (? ∧ ?)
   4.4 (? ∧ ?) ↔ ? and ? → ? 
5. Use the laws of propositional logic to prove that the following compound propositions are tautologies. You must indicate the name of the law used in each step of the proof.
   Example: ? → ?
   Answer:
   ? → ?
   ≡ ¬? ∨ ?           Conditional identity
   ≡ ?                   Complement law
   5.1 (? ∧ ?) → (? → ?)
   5.2 ((? → ?) ∧ (¬? → ?)) → (¬? → ? ) 

A compound proposition is said to be satisfiable if there is an assignment of truth values to its variables that makes it true. For example, ? ∧ ? is satisfiable because it is true when ? = ? and ? = ?. When no such assignment exists, the compound proposition is said to be unsatisfiable. For example, ? ∧ ¬? is unsatisfiable because it is always false. To show that a compound proposition is satisfiable, we need to find at least one assignment of truth values to its variables that makes it true. However, to show that a compound proposition is unsatisfiable, we need to show that every assignment of truth values to its variables makes it false.

Determine whether each of the following compound propositions is satisfiable or unsatisfiable. Justify your answers.
6.1 (? → ¬?) ↔ ¬(? ∨ ?)
6.2 (? ↔ ?) ∧ (? ↔ ¬?)
6.3 (? → ?) ∧ (¬? → ¬?) ∧ (¬? → ?) ∧ (? → ¬?)
6.4 (? ∨ ¬?) ∧ (¬? ∨ ¬?) ∧ (¬? ∨ ?) ∧ (? ∨ ?) ∧ (¬? ∨ ¬?)