Logic and Modeling 2021: Lecture 5

Video 2: Syntax of first order logic

Video 3: The universal quantifier

Video 4: The existential quantifier