1. (a) False (b) True (c) i. True ii. False (d) i. False ii. True
2. (a) Inverse: If we do not go hiking then it is not a nice fall day.
(b) ∀x(P (x) ∨ J(x)) (c) Yes, it is a contradiction because the last column has all F. p q ¬ q p ∧¬ q ¬ (p ∧¬ q) ¬ p ¬ p ∨ q ¬ (p ∧¬ q) ⊕ ( ¬ p ∨ q) T T F F T F T F T F T T F F F F F T F F T T T F F F T F T T T F
3. (a) any 3 of the following:
• direct proof • proof by contrapositive (contraposition) • proof by contradiction • proof by cases • proof by construction (b) proof by cases (c) Proof: Since x is even, x = 2k for some integer k. Since y is odd, y = 2h + 1 for some integer h. Hence