Logic and Modeling 2021: Lecture 4

Video 4: Truth and valuation functions

Video 5: Motivating the semantics of implication

Video 6: Truth tables