Share this entry

Share this page

existential quantifier

Syllabification: ex·is·ten·tial quan·ti·fi·er

Definition of existential quantifier in English:

noun

Logic
A formal expression used in asserting that something exists of which a stated general proposition can be said to be true.
Example sentences
  • 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.

Definition of existential quantifier in:

Share this entry

Share this page

 

What do you find interesting about this word or phrase?

Comments that don't adhere to our Community Guidelines may be moderated or removed.

Get more from Oxford Dictionaries

Subscribe to remove adverts and access premium resources

Word of the day cumbersome
Pronunciation: ˈkʌmbəs(ə)m
adjective
large or heavy and therefore difficult to carry…