Synopses & Reviews
Logic Primer presents a rigorous introduction to natural deduction systems of sentential and first-order logic. The text is designed to foster the student-instructor relationship. The key concepts are laid out in concise definitions and comments, with the expectation that the instructor will elaborate upon them. New to the second edition is the addition of material on the logic of identity in chapters 3 and 4. An innovative interactive Web site, consisting of a andquot;Logic Daemonandquot; and a andquot;Quizmaster,andquot; encourages students to formulate their own proofs and links them to appropriate explanations in the book.
Synopsis:
Logic Primer presents a rigorous introduction to natural deduction systems of sentential and first-order logic. The text is designed to foster the student-instructor relationship. The key concepts are laid out in concise definitions and comments, with the expectation that the instructor will elaborate upon them. New to the second edition is the addition of material on the logic of identity in chapters 3 and 4. An innovative interactive Web site, consisting of a "Logic Daemon" and a "Quizmaster", encourages students to formulate their own proofs and links them to appropriate explanations in the book.
Table of Contents
1. Sentential Logic
Basic Logical Notions; A Formal Language for Sentential Logic; Translation of English to Sentential Wffs; Primitive Rules of Proof; Sequents and Derived Rules; Theorems
2. Truth Tables
Truth Tables for Sentences; Truth Tables for Sequents; Tautologies; Indirect Truth Tables; English Counterexamples
3. Predicate Logic
A Formal Language for Predicate Logic; Translation of English to Quantified Wffs; Primitive Rules of Proof; Sequents, Theorems, and Derived Rules of Proof
4. Models
Finite Interpretations and Expansions with One-Place Predicates; Finite Countermodels for Arguments with One-Place Predicates; Finite Countermodels for Arguments with Many-Place Predicates; Finite Countermodels for Arguments with Identity; Infinite Countermodels
Answers to Selected Exercises