An Etymological Dictionary of Astronomy and Astrophysics
English-French-Persian

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).

→ existential; → quantifier.