Logic and Modeling 2021
: Lecture 4
Video 4: Truth and valuation functions
Video 5: Motivating the semantics of implication
Video 6: Truth tables