Russell
Gödel
Preparation for Second Midterm
Preparation for Final Examination
Brief History of Predicate Logic
Review of Sentence Logic (corrected)
Object Language and Metalanguage
Atomic Sentences of Predicate Logic
Solutions for Excercises 1-1, 1-2 (full), 1-3, 1-4, 2-1, 2-2 (partial)
Exercises for Functions and Identity
Solutions to Exercises for Functions and Identity
Formal Semantics for Atomic Sentences
Solutions to Selected Problems Using Formal Semantics
Natural Deduction Rules for Predicate Logic
Multiple Quantifiers: Synstax and Semantics
Transcription and Restricted Quantifiers
Transcription from English to Predicate Logic
Derivations with Iterated Quantifiers
Derived Derivation Rules for Quantifers
Logical Truth, Contradictions, Inconsistency, and Logical Equivalence
Solutions to Selected Exercises Using Formal Semantics
Previous Examinations
Links