Logic and Modeling 2021: Lecture 4

Video 3: Proving double negation elimination

Video 4: Truth and valuation functions

Video 5: Motivating the semantics of implication