1. Intro Quantification expresses the extent to which a  predicate is true over a set of elements. Two forms are the most common: Universal $latex \forall$ Existential $latex \exists$ To define the…