Visit the LOGIC DAEMON and QUIZMASTER

Contents

About the 3rd edition
Preface to 2nd edition
Preface (First edition)
Errata

Chapter 1 Sentential Logic
1.1 Basic Logical Notions
1.2 A Formal Language for Sentential Logic
1.3 Translation of English to Sentential Wffs
1.4 Primitive Rules of Proof
1.5 Sequents and Derived Rules
1.6 Theorems

Chapter 2 Truth Tables
2.1 Truth Tables for Sentences
2.2 Truth Tables for Sequents
2.3 Tautologies
2.4 Indirect TTs
2.5 English Counterexamples

Chapter 3 Predicate Logic
3.1 A Formal Language for Predicate Logic
3.2 Translation of English to Quantified Wffs
3.3 Primitive Rules of Proof
3.4 Sequents, Theorems, and Derived Rules of Proof

Chapter 4 Models
4.1 Finite Interpretations and Expansions with One-Place Predicates
4.2 Finite Countermodels for Arguments with One-Place Predicates
4.3 Finite Countermodels for Arguments with Many-Place Predicates
4.4 Finite Countermodels for Arguments with Identity
4.5 Infinite Countermodels

Answers to Selected Exercises