Table of Contents Volume I
Preface to Volumes I and II: A Guide to the Primer
Chapter 1, Basic Ideas and Tools
Chapter 2, Transcription between English and Sentence Logic
Chapter 3, Logical Equivalence, Logical Truths, and Contradictions
Chapter 4, Validity and Conditionals
Chapter 5, Natural Deduction for Sentence Logic: Fundamentals
Chapter 6, Natural Deduction for Sentence Logic: Strategies
Chapter 7, Natural Deduction for Sentence Logic: Derived Rules and Derivations without Premises
Chapter 8, Truth Tree for Sentence Logic: Fundamentals
Chapter 9, Truth Trees for Sentence Logic: Applications
Index for Volume 1
Solutions Manual for Volume 1
Table of Contents to Volume II
Solutions Manual for Volume II
Introduction to Predicate Logic Notes
Chapter 1, Predicate Logic: Syntax
Chapter 2, Predicate Logic: Semantics and Validity
Chapter 3, More about Quantifiers
Chapter 4, Transcription
Chapter 5, Natural Deduction for Predicate Logic: Fundamentals
Chapter 6, More on Natural Deduction for Predicate Logic
Chapter 7, Truth Tress for Predicate Logic: Fundamentals
Chapter 8, More on Truth Tress for Predicate Logic
Chapter 9, Identity, Functions, and Definite Descriptions
Chapter 10, Metatheory: The Basic Concepts
Chapter 11, Mathematical Induction
Chapter 12, Soundness and Completeness for Sentence Logic Trees
Chapter 13, Soundness and Completeness for Sentence Logic Derivations
Chapter 14, Koenig's Lemma, Compactness, and Generalization to Infinite Sets of Premises
Chapter 15, Interpretations, Soundness, and Completeness for Predicate Logic
Index for Volume II
Diagrammatic Summary of Rules
Corrections to the Text
