Logic Primer

An introduction to logic which can be covered in a one-semester course. It covers natural deduction systems of sentential logic and of first-order logic, truth tables and model theory and the text is organized into definitions, comments, examples and exercises.

---

This text presents a self-contained introduction to logic suitable for majors and nonmajors, and can be covered entirely in a one-semester course. Natural deduction systems of sentential logic and of first-order logic, truth tables, and the basic ideas of model theory are presented without superfluous discussion. This allows the instructor to choose various ways of presenting the material. The text is organized into definitions, comments, examples, and exercises in a modern, visually helpful format. Comments are kept to a minimum so that definitions and examples are usually on the same page, making it easy for students to compare the two. In addition, there are over 500 exercises, with solutions to more than half of them provided in an appendix. In "Logic primer" the proofs are designed to be short and the rules of proof are stated in terms of denials of sentences rather than negations; this results in more intuitive rules that students learn more quickly. In addition, the authors' natural deduction systems track the assumptions on which each step in a proof depends.