Exercise 3 - Logic

Supply the missing statement or reason.

Statement Reason
1. A ∧ B Premise
2. ( A ∨C ) → D Premise
3. A 1, Simplification
#1 4. B 1, Simplification
5. A ∨C 3, Addition
6. D 2, 5, Modus Ponens
7. A ∧ D 3, 6, Conjunction

Statement Reason
1. ( E ∨ F ) ∧ ( J ∨ K ) Premise
2. ( E →G ) ∧ ( F → H ) Premise
#2 3. G Premise
4. E ∨ F 1, Simplification
5. G ∨ H 2, 4, Constructive Dilemma
6. H 3, 5, Disjunctive Syllogism

Statement Reason
1. Q → R Premise
2. S → ( T → U ) Premise
3. S ∨ ( Q ∨T ) Premise
#3 4. S Premise
5. T → U 2, 4, Modus Ponens
6. ( Q → R ) ∧ ( T → U ) 1, 5, Conjunction
7. Q ∨T 3, 4, Disjunctive Syllogism
8. R ∨U 6, 7, Constructive Dilemma

Statement Reason
1. ( P ∨ B ) → Z Premise
2. Z Premise
3. ( D ∨ X ) Premise
4. ( P ∧ X ) → ( R ↔ S ) Premise
5. (P ∨ B) 1, 2 MT
6. ( D ∧ X ) 3, DM
#4 7. ( P ∧ B) 5, DM
8. X 6, Simplification
9. P 7, Simplification
10. P ∧ X 8, 9, Conjunction
11. R ↔ S 4, 10, MP
12. ( R → S ) ∧( S → R) 11, ME
13. R → S 12, Simplification
14. S → R 13, Transposition/Contrapositive