Logic and Modeling 2021: Lecture 6

Video 1: Relativized quantifiers and counterexamples

Video 2: Natural deduction example