Logic Primer Files

Up one level

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

Sections

Quick links

Personal tools

Logic Primer Files