Logic Primer Files
Up one level- 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
- 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 Trees
- 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
- Solutions Manual for Volume II
- Diagrammatic Summary of Rules
- Corrections to the Text