Quantifier

Define

An operator that specifies

apply to the given variable, typically

Turns a predicate into a statement, when fully quantified.

(Levin, 2021, sec. 0.2)

Name

• Quantification