You are here: Home / Logic Primer Files

Logic Primer Files

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