Nested Quantifiers Section 1.4. Recap Section 1.3 A predicate is generalization of a proposition. –It is a proposition that contains variables. A predicate.
