Site Map
Skip to content
Skip to navigation
Search Site
Advanced Search…
Logic Primer
Sections
Home
Logic Primer Files
In this section
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 Derivations
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
Quick links
University Library
MyUCDavis
Search this site
Department of Philosophy
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
Log in
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