Share this entry

Share this page

existential quantifier

Saltos de línea: ex¦ist|en¦tial quan¦ti|fier

Definición de existential quantifier en inglés:

sustantivo

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.

Definición de existential quantifier en:

Share this entry

Share this page

 

¿Qué te llama la atención de esta palabra o frase?

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

Obtenga más de Oxford Dictionaries

Suscribirse para eliminar anuncios y acceder a los recursos premium

Palabra del día terpsichorean
Pronunciación: ˌtəːpsɪkəˈriːən
adjective
relating to dancing