Logic and Modeling 2021: Lecture 4

Video 5: Motivating the semantics of implication

Video 6: Truth tables

Video 7: Soundness and completeness