existential quantifier

(redirected from existential quantifiers)
Also found in: Dictionary, Encyclopedia.
Related to existential quantifiers: universal quantifier
Graphic Thesaurus  🔍
Display ON
Animation ON
Legend
Synonym
Antonym
Related
  • 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.
We need at most m extra variable for existential quantifiers, where m is the maximum arity of a schema relation.
This continues to hold for any fragment of second-order that allows existential quantifiers over unary predicates (e.
Just as a subject should be able to manifest her understanding of "and" without presupposing that she understands "or", she should be able to manifest her understanding of negation, identity, and first-order existential quantifiers without yet grasping "natural number", "zero", and "successor".
The issue is whether (Two) is deducible on the basis of the introduction and elimination rules for negation, identity, and the first-order existential quantifier.
In the syntax, only existential quantifiers and disjunctions can be made independent of previous choices (and so only the verifier is handicapped by independence).
The rules for the independent existential quantifier elimination require the introduction of function letters (to express the independence).
It turns out that the semantics and the proof theory of constructibility quantifiers are also much like those of ordinary, existential quantifiers.
For the other direction, replace the variables ranging over level n open sentences with variables ranging over type n objects (or sets of rank n in the non-cumulative hierarchy), replace the symbol for satisfaction with that of predication (or membership), and, of course, replace constructibility quantifiers with existential quantifiers.