Fr.: quantificateur existentiel
A symbol of → predicate logic which expresses that the statements within its scope are → true for at least one instance of something. The symbol ∃ is used as the existential quantifier. Existential quantifiers are normally used in logic in → conjunction with → predicate symbols, which say something about a → variable or → constant, in this case the variable being quantified (→ quantify, → quantification).