The Elements of Formal Logic by G. E. Hughes, D. G. Londey - 9780367420437

Taylor & Francis

Preface 1. Validity Part 1: The Propositional Calculus: Elements and Decision Procedures 2. Some Simple Forms of Inference 3. Establishing Validity (Theory) 4. Establishing Validity (Practice) 5. Disjunction and Disjunctive Inference 6. Material Equivalence: \u2018If and Only If\u2018 7. Valid Inference and Proof 8. The Propositional Calculus 9. Truth-tables as a Decision Procedure 10. Equivalence Transformations 11. Another Decision Procedure Part 2: The Propositional Calculus: Axiomatic Systems 12. Operations of Inference 13. Axiomatic Systems 14. Formal Axiomatic Systems 15. The System PM (I) 16. PM (II) Substitution of Equivalents 17. PM (III) Some Further Theorems 18. PM (IV) Independence and Non-independence 19. Consistency and Completeness of PM 20. The System TB 21. Extensions of TB: The System W 22. Consistency and Completeness of W 23. The Elements of Formal Logic Part 3: The Lower Predicate Calculus Some General Remarks on Part 3 23. The Lower Predicate Calculus: Introducts