Origin of quantifier
Dictionary.com Unabridged Based on the Random House Unabridged Dictionary, © Random House, Inc. 2019
- 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
Collins English Dictionary - Complete & Unabridged 2012 Digital Edition © William Collins Sons & Co. Ltd. 1979, 1986 © HarperCollins Publishers 1998, 2000, 2003, 2005, 2006, 2007, 2009, 2012