Professional Documents
Culture Documents
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
�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 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:
Se lee:
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: