2. CUANTIFICADOR EXISTENCIAL
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.
3. CUANTIFICADOR EXISTENCIAL
En lógica, el conjunto al que se hace
referencia es el universo de
referencia (U), que está formado por
todas las constantes.
4. Ejemplo: Si tenemos dos conjuntos diferentes A y B, y A es un
subconjunto de B:
•∃x∈B∧x∈A
Y se interpreta, existe al menos un elemento x de B que
pertenece a A.
•∃y∈B∧y∉A
Existe al menos un elemento y en B, y este elemento y no
pertenece a A.
5. FRASES QUE IDENTIFICAN UN
CUANTIFICADOR EXISTENCIAL
Estas son alguna de las frases con la que podemos
identificar este cuantificador:
•Existe al menos un x
•Para algún x
•Para algunos x
•Existe un x tal que
•Algunos x
•Cuando menos un x
6. Veamos el siguiente ejemplo con lo cual podemos identificar
un cuantificador existencial:
Ejemplo: la expresión “para algún x P(x)”, se puede
representar de la siguiente manera:
Si “para algún x P(x)”, ∃xP(x)
7. EJEMPLOS DE LA TEMÁTICA
Ejemplos 1: dadas las siguientes expresiones
representarlas en cuantificadores existenciales:
Existe al menos un celular y una Tablet en casa
R/: p(x): un celular.
q(x): una Tablet.
∃xp(x)∧q(x)
8. Ejemplo 2: existen estudiantes de la UNAD
que estudian pensamiento lógico matemático
R/: p(x): estudiantes de la UNAD.
q(x): estudian pensamiento lógico
matemático.
∃xp(x)∧q(x)
9. REFERENCIAS BIBLIOGRÁFICAS
• Cardona, T. S. A. (2010). Lógica matemática para ingeniería de
sistemas y computación. (pp. 106-112). Ediciones Elizcom, Madrid.
• Soluciones Matemáticas Discretas, cuantificadores,
http://sites.google.com/site/mathematicasdiscretesolutions/logica-de-
po/cuantificadores