Lecture Notes corresponding to each day's class will be posted after 11am.
Tuesday April 17: Relational Predicate Logic: Identity
Thursday April 12: Relational Predicate Logic: Symbolization 2 / Proofs
Tuesday April 10: Relational Predicate Logic: Symbolization 1
Tuesday March 27: Predicate Logic Proofs 3
Tuesday March 13: Predicate Logic Proofs 2
Thursday March 8: Predicate Logic Proofs 1
Tuesday March 6: Predicate Logic Symbolization 2
Thursday March 1: Predicate Logic Symbolization 1
Tuesday February 21: Conditional and Indirect Proofs 2 / Zero-Premise Deductions / Short Truth Tables
Thursday February 16: Conditional and Indirect Proofs
Tuesday February 14: Proofs 3 [no class meeting due to instructor illness]
Thursday February 9: Proofs 2
Tuesday February 7: Proofs 1
Thursday January 26: Truth Tables 2
Tuesday January 24: Symbolization 3 / Truth Tables 1
Thursday January 19: Symbolization 2
Tuesday January 17: Symbolization 1
Thursday January 12: Introduction: Arguments 2
Tuesday January 10: Introduction: Arguments 1