CUANTIFICADORES EXISTENCIALES

En el lenguaje de predicados la de lógica matemática se usa el símbolo Ǝ, llamado cuantificador

existencial. Antepuesto a una variable el cual indica que alguno o algunos valores son

verdaderos, dentro de un dominio o contexto especifico.

Algunas frases con las que se identifica generalmente este cuantificador son:

 Existe al menos un.

 Para algún.

 Para algunos.

 Existe un X tal que.

 Algún.

 Cuando menos un.

Existen representaciones existenciales de afirmación y negación.

FORMAS PARA CONVERTIR UNA PROPOSICION

1. Haciendo la sustitución de una variable para un término especifico.

2. Anteponiendo la expresión “existe al menos”.

3. Anteponiendo el cuantificador existencial o la expresión “para todo x”

Ejemplos:

 Algunos jugadores de Baloncesto tiene uniforme y pueden jugar.

p= x de Baloncesto tiene uniforme

q= los x pueden jugar.

x= jugadores

“Ǝx p(x)˄q(x)”

 Existe al menos un Colombiano que escribe lirico y es poliglota.

p= x escribe lirico

q= x es poliglota

Donde x= Colombiano.

“Ǝx p(x)˄q(x)”
 Bibliografía

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

(pp. 106 - 112). Ediciones Elizcom, Madrid.

 https://prezi.com/p/3ljxlpzmxplk/cuantificador-existencial/