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

Question and answer session