Share this entry

Share this page

universal quantifier

Saltos de línea: uni|ver¦sal quan¦ti|fier

Definición de universal quantifier en inglés:

sustantivo

Logic
A formal expression used in asserting that a stated general proposition is true of all the members of the delineated universe or class.
Example sentences
  • These variables can be bound by standard existential and universal quantifiers (and not by constructibility quantifiers).
  • In formal mathematical logic, one makes frequent use of the existential and universal quantifiers.
  • In systems of quantified modal logic, the modal operators are used in combination with the familiar existential and universal quantifiers (‘E’ and ‘A’ respectively) of ordinary, non-modal quantifier logic.

Definición de universal 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