Logic and Modeling 2021: Lecture 2

Video 3: Derivation example

Video 4: Derivation example

Video 5: proof by contradiction