Logic and Modeling 2021: Lecture 2

Video 2: Disjunction

Video 3: Derivation example

Video 4: Derivation example