existential quantifier(redirected from existential quantifiers)
Also found in: Dictionary, Thesaurus.
Related to existential quantifiers: universal quantifier
existential quantifier[‚eg·zə¦sten·chəl ′kwän·tə‚fī·ər]
A logical relation, often symbolized ∃, that may be expressed by the phrase “there is a” or “there exists”; if P is a predicate, the statement (∃ x) P (x) is true if there exists at least one value of x in the domain of P for which P (x) is true, and is false otherwise.