Logic and Modeling 2021: Lecture 5

Video 3: The universal quantifier

Video 4: The existential quantifier

Video 5: Natural deduction with the universal quantifier