Origin of quantifier
Dictionary.com Unabridged Based on the Random House Unabridged Dictionary, © Random House, Inc. 2018
- a symbol including a variable that indicates the degree of generality of the expression in which that variable occurs, as (∃ x) in (∃ x) Fx, rendered "something is an F", (x) in (x)(Fx → Gx), rendered "all Fs are Gs"
- any other symbol with an analogous interpretationthe existential quantifier, (∃ x ), corresponds to the words "there is something, x, such that …"
- grammar a word or phrase in a natural language having this role, such as some, all, or many in English