Logic Primer Files

Zip file of the entire Logic Primer, hosted on box.com

If you want the entire Teller Logic Primer in one file, this is for you. File size is 7MB. Click the blue download button

Link to zip file on Box.com

Preface to Volumes I and II: A Guide to the Primer (PDF)

 

Table of Contents Volume I

 

Solutions Manual for Volume 1

 

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

 

Table of Contents to Volume II

 

Introduction to Predicate Logic Notes

 

Solutions Manual for Volume II

 

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

 

Diagrammatic Summary of Rules

 

Corrections to the Text

 

Index for Volume II