A formal expression used in asserting that something exists of which a stated general proposition can be said to be true.
- By contraposition and the definition of the existential quantifier, the latter axiom is equivalent to x = x y (y = x).
- The epsilon calculus is, in its most basic form, an extension of first-order predicate logic with an ‘epsilon operation’ that picks out, for any true existential formula, a witness to the existential quantifier.
- In each case, the proposition expressed is argued to be that which would be expressed if the indefinite determiner were replaced by the existential quantifier.
For editors and proofreaders
Syllabification: ex·is·ten·tial quan·ti·fi·er
Definition of existential quantifier in:
What do you find interesting about this word or phrase?
Comments that don't adhere to our Community Guidelines may be moderated or removed.