Philosophy 109: Introduction to Modern Logic
Russell Marcus, Instructor
Queens College, Fall 2003
Lecture Notes
Conditional and Indirect Proof in Predicate Logic
Derivations in Predicate Logic
Translation to Predicate Logic
Logical Truths (10/15)
Indirect Proof (10/15)
Conditional Proof (10/15)
Rules of Replacement (II) (10/8)
Rules of Replacement (I) (10/8)
Rules of Inference (II) (9/24)
Rules of Inference (I) (9/24)
Indirect Truth Tables (Invalidity and Consistency) (9/24)
Truth Tables for Arguments (9/17)
Truth Tables for Propositions (9/17)
Truth Functions (9/10)
Philosophical interludes on Propositions and Three-valued Logics (9/10)
Introduction (9/3)
Propositional Translation (9/3)
