Discrete Structures [Lecture 7 / Segment 2] - Predicate logic - Part 11/20

The truth conditions of nested quantifiers depend on the types of the quantifiers (i.e., existential vs universal) and, when the types differ, their order (or nesting).

Discussion of the duality of the two types of quantifiers.