This books treats symbolization, formal semantics, and proof theory for each language. The discussion of formal semantics is more direct than in many introductory texts. Although forall x does not contain proofs of soundness and completeness, it lays the groundwork for understanding why these are things that need to be proven. The book is designed to provide a semester's worth of material for an introductory college course. It would be possible to use the book only for sentential logic, by skipping chapters 4-5 and parts of chapter 6.
- No image availableChapter 1: What is logic?
- No image availableChapter 2: Sentential logic
- No image availableChapter 3: Truth tables
- No image availableChapter 4: Quantified logic
- No image availableChapter 5: Formal semantics
- No image availableChapter 6: Proofs
- No image availableOther symbolic notation
- No image availableSolutions to selected exercises
- No image availableQuick Reference
- Front Matter
- Back Matter