En lgica formal, un cuantificador es una expresin que indica la cantidad de veces que

un predicado o propiedad P se satisface dentro de una determinada clase (por ejemplo,

pertenencia, equivalencia u orden). Existen muchos tipos de cuantificadores, entre los
ms utilizados estn:
Cuantificador universal
Para todo x, y...
Cuantificador existencial
Existe al menos un x, y...
Cuantificador existencial nico
Existe exactamente un x, y...
Negacin del cuantificador existencial
No existe ningn x, y...

Declaraciones cuantificadas
Las declaraciones cuantificadas se escriben en la forma:

Para todo x que pertenece a R, se cumple que 2x pertenece a R.

Para todo a que pertenece a R, existe x que pertenece a R, que est comprendido entre a y
a+1.

Para todo a que pertenece a R diferente de cero, existe un nico x que pertenece a R, que
cumple que a por x es igual a 1.

Proposiciones
Cuantificacin universal

El cuantificador universal se utiliza para afirmar que todos los elementos de un conjunto
cumplen con una determinada propiedad. Por ejemplo:

Para todo x perteneciente a A, se cumple P(x).

Esta afirmacin suele usarse como la equivalente de la proposicin siguiente:

Se define el conjunto A, como el de los elementos x de U, que cumplen P(x).

Cuantificacin existencial
El cuantificador existencial se usa para indicar que hay uno o ms elementos en el
conjunto

(no necesariamente nico/s) que cumplen una determinada propiedad. Se

escribe:

Existe x en A que cumple P(x).

Esta proposicin suele interpretarse como la equivalente de la proposicin siguiente:

El conjunto de los elementos x de A, que cumplen P(x) es distinto del conjunto vaco.

Cuantificacin existencial nica

El cuantificador existencial con marca de unicidad se usa para indicar que hay un nico
elemento de un conjunto A que cumple una determinada propiedad. Se escribe:

Se lee:

Existe un nico elemento x de A, que cumple P(x).

Equivalencias
Se tienen las siguientes relaciones universales:

Para todo x de A, se cumple P(x) si y slo si no existe x en A que no cumpla P(x).

Existe al menos un x en A que cumple P(x) si y slo si no es cierto que para todo x de
A, no se cumpla P(x).
En cuanto al cuantificador existencial nico puede considerarse una extensin por
definicin en un lenguaje formal con igualdad teniendo dada la equivalencia:

Existe un nico x en A que cumple P(x), si y slo si para todo x, y de A, si se cumple

que P(x) y P(y), entonces x es igual a y.

Vase tambin
Lgica formal
Lgica de primer orden
Lgica matemtica
Teora de conjuntos

ltima edicin hace 18 das por Felipe Schenone