Logic and Modeling 2021: Lecture 2

Video 5: proof by contradiction

Video 6: strategy for natural deduction

Video 7: one more or elimination rule