"Language, Proof and Logic" (Chapter 11): Multiple Quantifier Basics

This video covers the basics of multiple quantifiers and domains of discourse. More specifically, the discussion covers multiple instances of one type of quantifier ranging over different domains of discourse; multiple instances of one type of quantifier ranging over different sets of the same type of object, and mixed quantifiers. The emphasis is on understanding these concepts in order to enlist them in precise and accurate translations from ordinary language into quantifier logic notation.