Video 1: Negation and falsity
Video 2: Disjunction
Video 3: Derivation example
Video 4: Derivation example
Video 5: proof by contradiction
Video 6: strategy for natural deduction
Video 7: one more or elimination rule
Video 8: Lecture 2 Q&A, Thursday 1 April