quantification
in logic, the attachment of signs of quantity to the predicate or subject of a proposition. The universal quantifier, symbolized by (-) or (-), where the blank is filled by a variable, is used to express that the formula following holds for all values of the particular variable quantified. The existential quantifier, symbolized (-), expresses that the formula following holds for some (at least one) value of that quantified variable.
Learn more about quantification with a free trial on Britannica.com.