Logic and Modeling 2021: Lecture 5

Video 4: The existential quantifier

Video 5: Natural deduction with the universal quantifier

Video 6: Natural deduction with the existential quantifier