Cuantificador existencial

En el lenguaje de predicados en lógica matemática, se usa el símbolo: , 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 proposición escrita a continuación.

Ejemplo

Conjuntos 04.svg

Si tenemos dos conjuntos diferentes y , y es un subconjunto de :

existe al menos un elemento de que pertenece a :

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

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

Other Languages