Logic and Modeling 2021: Lecture 1

Video 4: Syntax of propositional logic

Video 5: Inference rules for implication

Video 6: Inference rules for conjunction