Friday April 25: Properties of Relations
Wednesday April 23: Identity 2
Monday April 21: Identity 1
Friday April 18: Relational Predicate Logic 5
Wednesday April 16: Relational Predicate Logic 4 (revised 4/18)
Monday April 14: Relational Predicate Logic 3
Friday April 11: Relational Predicate Logic 2
Wednesday April 9: Relational Predicate Logic 1
Monday March 31: Proofs in Predicate Logic 4
Friday March 28: Proofs in Predicate Logic 3
Wednesday March 26: Proofs in Predicate Logic 2
Monday March 24: Proofs in Predicate Logic 1
Wednesday March 12: Predicate Semantics
Monday March 10: Predicate Symbolization 4
Friday March 7: Predicate Symbolization 3
Wednesday March 5: Predicate Symbolization 2
Monday March 3: Predicate Symbolization 1
Monday February 25: no lecture notes; Wednesday's class will be a review session, and we may begin new material from chapter 7.
Friday February 22: Strange Valid Arguments; the Short Truth Table Method
Wednesday February 20: Conditional Proof and Indirect Proof 2; Theorems and Inconsistency
Monday February 18: Conditional Proof and Indirect Proof 1
Friday February 15: no lecture notes; check your email for answers to exercises 4-9 through 4-12, and read ch.5:1-2 for Monday
Wednesday February 13: Proofs 4
Monday February 11: Proofs 3
Friday February 8: Proofs 2
Wednesday February 6: Proofs 1
Wednesday January 30: Truth Tables 3
Monday January 28: Truth Tables 2
Friday January 25: Truth Tables 1
Wednesday January 23: Symbolization 3
Friday January 18: Symbolization 2
Wednesday January 16: Symbolization 1
Monday January 14: Introduction: Arguments 2
Friday January 11: Introduction: Arguments 1