Logic and Modeling 2021: Lecture 4

Video 1: Classical vs intuitionistic reasoning

Video 2: Proving the law of the excluded middle

Video 3: Proving double negation elimination