Introduction to Logic: Predicate Logic
Howard Pospesel · 1976
1. Introduction. 2. Basic Symbolization. 3. Proofs: O and $O. 4. Proofs: $I and QE. 5. Intermediate Symbolization. 6. Intermediate Proofs. 7. Counterexamples. 8. Truth Trees. 9. Property-Logic Refinements. 10. Relational Symbolization. 11. Relational Proofs. 12. Relational CEXes and Trees. 13. Relational-Logic Refinements. 14. Natural Arguments. Appendix 1. Propositional Logic: A Brief Review. Appendix 2. Metatheory. Appendix 3. Using PredLogic. Appendix 4. Solutions to Starred Exercises. Index. Proof Rules. Truth-Tree Rules.