existential quantifier

(redirected from existential quantifiers)
Also found in: Dictionary, Encyclopedia.
Related to existential quantifiers: universal quantifier
  • noun

Synonyms for existential quantifier

a logical quantifier of a proposition that asserts the existence of at least one thing for which the proposition is true

References in periodicals archive ?
The use of universal quantifiers to comprehend and express the for all and every phrases is more natural and intuitive than negating existential quantifiers.
The simplicity of the use of universal versus existential quantifiers in this example is evident.
Since F is in SQLNF it must only consist of existential quantifiers and logical operators that exist in SQL.
The for all and every English phrases can be satisfied in SQL through negating its existential quantifier construct EXISTS.
For example, for the universal and existential quantifiers, we can see the boolean circuits creation that they will be replaced by a binary tree balanced (by means of the use of the algorithms and-tree and or-tree).