Class 3: Inference

17 January 2025

Schedule

Problem Set 1 is now posted, and is due next Thursday (23 Jan, 8:29pm): [PDF] [Template]

Class

Defining Boolean (Continued)
Revisiting Propositions
Implies (Logical operator)
Axioms, Inference Rules, Predicates
Soundness
Contrapositive

10am Section: [Slides (PDF)] [Video]
2pm Section: [Slides (PDF)] [Video]