Logic and Modeling 2021: Lecture 4

Video 2: Proving the law of the excluded middle

Video 3: Proving double negation elimination

Video 4: Truth and valuation functions