Chapter 13, Soundness and Completeness for Sentence Logic Derivations
2ch13.pdf
— 254 KB
-
-
Preface to Volumes I and II: A Guide to the Primer
-
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
-