Logic and Modeling 2021: Lecture 2

Video 1: Negation and falsity

Video 2: Disjunction

Video 3: Derivation example