Cuantificador existencial

En el lenguaje de predicados en lgica matemtica, se usa el smbolo: , llamado

cuantificador existencial, antepuesto a una variable para decir que "existe" al menos un
elemento del conjunto al que hace referencia la variable, que cumple la proposicin
escrita a continuacin.
Normalmente, en lgica, el conjunto al que se hace referencia es el universo o dominio de
referencia, que est formado por todas las constantes.
Ejemplo
Si tenemos dos conjuntos diferentes A y B, y A es un subconjunto de B:

existe al menos un elemento x de B que pertenece a A:

Al afirmar que existe al menos un x que pertenece a B y pertenece a A, quiere decir que
no todos los elementos de B pertenecen a A, al ser A y B conjuntos distintos, existe al
menos un elemento y de B que no pertenece a A:

Que podemos leer: existe al menos un elemento y en B, y este elemento y no pertenece a

A.
Cuantificador Universal
Indica que algo es cierto para todos los individuos Sea A una expresin y sea x una
variable. Si deseamos indicar que A es verdadero para todos los posibles valores de x,
escribiremos (x) A.
(x) es cuantificador universal
A es el mbito (alcance) del cuantificador.
El smbolo se lee para todo.

Ejemplo 2.- Expresar todos los gatos

Tienen cola en clculo de predicados.

Solucin:
Hallar primero el mbito del cuantificador universal, que es Si x es un gato, entonces x
tiene cola y se define como
Gx x es un gato
Cx x tiene cola
(x) GxCx

Anexo