Sections
In this section
Logic Primer

2293 SS&H
University of California, Davis
One Shields Avenue
Davis, CA 95616

(530) 752-5889 phone

 
Logic Primer > Logic Primer Files
Personal tools

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