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
{\displaystyle \forall \,x,y\ldots } {\displaystyle \forall \,x,y\ldots }
Para todo x, y...
Cuantificador existencial
{\displaystyle \exists \,x,y\ldots } {\displaystyle \exists \,x,y\ldots }
Existe al menos un x, y...
Cuantificador existencial �nico
{\displaystyle \exists !\,x,y\ldots } {\displaystyle \exists !\,x,y\ldots }
Existe exactamente un x, y...
Negaci�n del cuantificador existencial
{\displaystyle \nexists \,x,y\ldots } {\displaystyle \nexists \,x,y\ldots }
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:

{\displaystyle \forall \,x\in \mathbb {R} \;,\quad 2x\in \mathbb {R} }

{\displaystyle \forall \,x\in \mathbb {R} \;,\quad 2x\in \mathbb {R} }
Para todo x que pertenece a R, se cumple que 2x pertenece a R.

{\displaystyle \forall \,a\in \mathbb {R} ,\quad \exists \,x\in \mathbb {R}
\;:\quad a<x<(a+1)} {\displaystyle \forall \,a\in \mathbb {R} ,\quad \exists \,x\in
\mathbb {R} \;:\quad a<x<(a+1)}
Para todo a que pertenece a R, existe x que pertenece a R, que est� comprendido
entre a y a+1.

{\displaystyle \forall \,a\in \mathbb {R} -\left\{{0}\right\},\quad \exists !\,x\in

\mathbb {R} \;:\quad a\cdot x=1} {\displaystyle \forall \,a\in \mathbb {R} -\left\
{{0}\right\},\quad \exists !\,x\in \mathbb {R} \;:\quad a\cdot x=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:

{\displaystyle \forall x\in A\;:\quad P(x)} {\displaystyle \forall x\in A\;:\quad

P(x)}
Para todo x perteneciente a A, se cumple P(x).
Esta afirmaci�n suele usarse como la equivalente de la proposici�n siguiente:

{\displaystyle A=\{x\in U\;:\quad P(x)\}} {\displaystyle A=\{x\in U\;:\quad P(x)\}}

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:

{\displaystyle \exists \,x\in A\;:\quad P(x)} {\displaystyle \exists \,x\in

A\;:\quad P(x)}
Existe x en A que cumple P(x).
Esta proposici�n suele interpretarse como la equivalente de la proposici�n
siguiente:

{\displaystyle \{x\in A\;:\quad P(x)\}\neq \emptyset } {\displaystyle \{x\in

A\;:\quad P(x)\}\neq \emptyset }
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:

{\displaystyle \exists !\,x\in A\;:\quad P(x)} {\displaystyle \exists !\,x\in

A\;:\quad P(x)}

Se lee:

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

Equivalencias
Se tienen las siguientes relaciones universales:

{\displaystyle \forall x\in A\;:\quad P(x)\qquad \longleftrightarrow \qquad \neg

\exists x\in A\;:\quad \neg P(x)} {\displaystyle \forall x\in A\;:\quad
P(x)\qquad \longleftrightarrow \qquad \neg \exists x\in A\;:\quad \neg P(x)}
Para todo x de A, se cumple P(x) si y s�lo si no existe x en A que no cumpla P(x).
{\displaystyle \exists x\in A\;:\quad P(x)\qquad \longleftrightarrow \qquad \neg
\forall x\in A\;:\quad \neg P(x)} {\displaystyle \exists x\in A\;:\quad
P(x)\qquad \longleftrightarrow \qquad \neg \forall x\in A\;:\quad \neg 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:

{\displaystyle \exists !x\in A\;:\quad P(x)\qquad \longleftrightarrow \qquad

\forall x,y\in A\;:\quad P(x)\;\land \;P(y)\rightarrow x=y} {\displaystyle
\exists !x\in A\;:\quad P(x)\qquad \longleftrightarrow \qquad \forall x,y\in
A\;:\quad P(x)\;\land \;P(y)\rightarrow x=y}
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.