Logic Primer, 3e
by Allen, Hand
ISBN: 9780262369497 | Copyright 2022
Instructor Requests
Expand/Collapse All | |
---|---|
Contents (pg. vii) | |
Preface (pg. ix) | |
Acknowledgments (pg. xvii) | |
1: Sentential Logic: Basic Concepts and a Formal Language (pg. 1) | |
1.1 Basic Logical Notions (pg. 1) | |
1.2 Elements of a Formal Language (pg. 3) | |
1.3 WellFormed Formulas (pg. 5) | |
1.4 Translation of English to Sentential Wffs (pg. 10) | |
2: Sentential Logic: Proofs (pg. 17) | |
2.1 Primitive Rules of Proof (pg. 17) | |
2.2 Sequents and Derived Rules (pg. 27) | |
2.3 Theorems (pg. 33) | |
3: Sentential Logic: Truth Tables (pg. 37) | |
3.1 Truth Tables for Sentences (pg. 37) | |
3.2 Truth Tables for Sequents (pg. 40) | |
3.3 Tautologies (pg. 42) | |
3.4 Indirect Truth Tables (pg. 44) | |
3.5 English Counterexamples (pg. 47) | |
4: Predicate Logic: Formal Language (pg. 51) | |
4.1 A Formal Language for Predicate Logic (pg. 51) | |
4.2 Translation of English to Quantified Wffs (pg. 58) | |
5: Predicate Logic: Proofs (pg. 65) | |
5.1 Primitive Rules of Proof (pg. 65) | |
5.2 Theorems and Derived Rules of Proof (pg. 73) | |
6: Predicate Logic: Models (pg. 77) | |
6.1 Finite Interpretations and Expansions with OnePlace Predicates (pg. 77) | |
6.2 Finite Countermodels for Arguments with OnePlace Predicates (pg. 81) | |
6.3 Finite Countermodels for Arguments with ManyPlace Predicates (pg. 84) | |
6.4 Infinite Countermodels (pg. 88) | |
7: Predicate Logic with Identity (pg. 91) | |
7.1 Formal Language (pg. 91) | |
7.2 Proofs (pg. 95) | |
7.3 Countermodels (pg. 98) | |
Appendix: Answers to Selected Exercises (pg. 101) | |
A.1 Chapter 1 Answers (pg. 101) | |
A.2 Chapter 2 Answers (pg. 103) | |
A.3 Chapter 3 Answers (pg. 127) | |
A.4 Chapter 4 Answers (pg. 133) | |
A.5 Chapter 5 Answers (pg. 139) | |
A.6 Chapter 6 Answers (pg. 150) | |
A.7 Chapter 7 Answers (pg. 154) |
Colin Allen
Michael Hand
eTextbook
Go paperless today! Available online anytime, nothing to download or install.
|