Logic and Modeling 2021: Lecture 2

Video 4: Derivation example

Video 5: proof by contradiction

Video 6: strategy for natural deduction