Video 1: Introduction
Video 2: Course motivation
Video 3: A logic puzzle
Video 4: Syntax of propositional logic
Video 5: Inference rules for implication
Video 6: Inference rules for conjunction
Video 7: Natural deduction with implies
Video 8: Natural deduction with and and implies
Video 9: Lecture 1 Q&A, Tuesday 30 March