Cuantificador existencial

De Wikipedia, la enciclopedia libre
Saltar a: navegación, búsqueda

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.[1]

Ejemplo[editar]

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 .

Véase también[editar]

Referencias[editar]

  1. Real Academia de Ciencias Exactas, Física y Naturales, ed. (1999). Diccionario esencial de las ciencias. Espsa. ISBN 84-239-7921-0.