You
are here:
Home
/
Logic Primer Files
/
Chapter 15, Interpretations, Soundness, and Completeness for Predicate Logic
 Info
Chapter 15, Interpretations, Soundness, and Completeness for Predicate Logic
2ch15.pdf
— 369 KB


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

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