for
Section 5: Rules of Inference
![]() | 4. Tautological Implications and Tautological Equivalences | ![]() | 5. Rules of Inference | ![]() | 6. Arguments and Proofs | ![]() | Main Logic Page | ![]() | Main Logic Page | ![]() | "Real World" Page |
![]() | Return to Exercises |
1. ~q
3. ~(qr)
5. ~(~pq)
7. p~q
9. (pr)
r
11. 4. (pr)
r; 5. ~(p
r)
13. pq
15. 3. (~r)(~q); 4. ~(r
q); 5. ~p
17. 4. pq; 5. r
19. De Morgan
21. 1,2 Modus Tollens
23. 1, Switcheroo
25. 1, Switcheroo; 2, De Morgan
27. 2, Addition; 1,3 Modus Ponens; 4, Simplification
29. 1,2 Transitive Law; 4, Contrapositive; 3,5 Modus Ponens
31. 1, Simplification; 1, Simplification; 3, Addition, 4, Switcheroo; 2,5 Modus Ponens
33. Double Negative; Double Negative (S); 2, Switcheroo; 3, Addition; 4, Associative Law; 5, Commutative Law; 6, Switcheroo; 7, Switcheroo
![]() | 4. Tautological Implications and Tautological Equivalences | ![]() | 5. Rules of Inference | ![]() | 6. Arguments and Proofs | ![]() | Main Logic Page | ![]() | "Real World" Page |
![]() | Return to Exercises |
![]() | Stefan Waner (matszw@hofstra.edu) | ![]() | Steven R. Costenoble (matsrc@hofstra.edu) |