Logic and Modeling 2021: Lecture 4

Video 6: Truth tables

Video 7: Soundness and completeness