You are on page 1of 2

Cuantificador

Ir a la navegaci�nIr a la b�squeda
En l�gica formal, un cuantificador es una expresi�n 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 m�s utilizados est�n:1?

Cuantificador universal

Para todo x, y...


Cuantificador existencial

Existe al menos un x, y...


Cuantificador existencial �nico

Existe exactamente un x, y...


Negaci�n del cuantificador existencial

No existe ning�n x, y...

�ndice
1 Declaraciones cuantificadas
2 Proposiciones
2.1 Cuantificaci�n universal
2.2 Cuantificaci�n existencial
2.3 Cuantificaci�n existencial �nica
3 Equivalencias
4 V�ase tambi�n
5 Referencias
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
Cuantificaci�n 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 afirmaci�n suele usarse como la equivalente de la proposici�n siguiente:

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


Cuantificaci�n existencial
El cuantificador existencial se usa para indicar que hay uno o m�s elementos en el
conjunto {\displaystyle ~A} {\displaystyle ~A} (no necesariamente �nico/s) que
cumplen una determinada propiedad. Se escribe:

Existe x en A que cumple P(x).


Esta proposici�n suele interpretarse como la equivalente de la proposici�n
siguiente:

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


vac�o.
Cuantificaci�n 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 s�lo si no existe x en A que no cumpla P(x).

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

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


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

You might also like