Table of Contents
4. If (Again).
9. Derived Rules.
10. Truth Tables.
11. Truth Trees.
13. Logical Relations.
14. Natural Arguments.
Appendix 1. Metatheory: Soundness and Completeness of the System PL.
Appendix 2. Is Propositional Logic Reliable?
Appendix 3. Alternative Symbols.
Appendix 4. One-Sided Truth Trees.
Appendix 5. Using Proplogic.
Appendix 6. Solutions to Starred Exercises.
This title is also sold in the various packages listed below. Before purchasing one of these packages, speak with your professor about which one will help you be successful in your course.