CUANTIFICADOR EXISTENCIAL

PENSAMIENTO LOGICO Y MATEMATICO - (200611A_761)

Unidad 1: Tarea 1 - Proposiciones y tablas de
verdad 
RAMÓN ALCIBIADES GARCÍA HERNÁNDEZ
UNAD – marzo de 2020
CUANTIFICADOR EXISTENCIAL

Figura 1.

Definición:
“Es la proposición en que existe un elemento “x” en el universo de discurso tal
que P(x) es verdad”. indica que algún o algunos valores son verdaderos dentro
de un dominio o contexto específico.

Se denota con el símbolo: ∃x, llamado cuantificador existencial y se lee de las

siguientes maneras: “hay al menos un x tal que … “ o “para algún x …”.
Según Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y
computación. (pp. 106-112), En caso de que sea A una expresión, y sea x una variable. Si
queremos indicar que A es verdadero para cuando menos un valor de x , escribiremos
∃x A . Esta frase se lee “existe un x tal que A ”. Aquí, ∃xA se denomina
cuantificador existencial, y se dice que A es el ámbito (alcance) del cuantificador
existencial. Se dice que la variable x está ligada por el cuantificador. El símbolo  ∀ se
lee “existe al menos” .
Algunas de las frases con la que se identifica generalmente este
cuantificador son:
 Existe al menos un x
 Para algún x
 Para algunos x
 Existe un x tal que
 Algunos x
 Ejemplos:

Los enunciados : “Algunos son estudiantes”, “Hay profesores” y “Existen cursos”; son
existenciales o particulares. Para simbolizarlos lógicamente se determinan los predicados así:

E: “ser estudiante”, P: “ser profesor” y C: “ser curso”

Simbólicamente los enunciados quedan como sigue:

(∃x)(Ex) y se lee: “Hay un x tal que x es un estudiante”, “Algún x es estudiante” o “Existe un x tal
que x es un estudiante”.

(∃x)(Px) y se lee: “Hay un x tal que x es un profesor”, “Algún x es profesor” o “Existe un x tal que
x es un profesor”.

(∃x)(Cx) y se lee: “Hay un x tal que x es un curso”, “Algún x es un curso” o “Existe un x tal que x
es un curso”.
 REFERENCIAS

• Recuperado de: https://es.slideshare.net/emperador09/cuantificador-existencial

• Recuperado de: https://es.wikipedia.org/wiki/Cuantificador_existencial#/media/Archivo:Conjuntos_04.sv

g

• Recuperado de http://sistemas.fciencias.unam.mx/~lokylog/images/Notas/la_aldea_de_la_logica/LMI_2
013_2/Profesor/1.04_Cuantificadores.pdf

• Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y computación. (pp. 106-

112). Ediciones Elizcom, Madrid. Recuperado de  

https://ebookcentral-proquest-com.bibliotecavirtual.unad.edu.co/lib/unadsp/reader.action?docID=319970
1&ppg=109

Figura 1. Cuantificadores existenciales, Recuperado de :

https://sites.google.com/site/mathematicasdiscretesolutions/logica-de-po/cuantificadores
Unidad/Zona/grupo o equipo funcional

GRACIAS POR SU
ATENCIÓN