Solución Ejercicio 1.

1.C. Cuantificador Existencial.

El cuantificador existencial nos indica que algún o algunos de los valores

son verdaderos dentro de un dominio o contacto especifico.

Algunas frases con las que se identifica generalmente este cuantificador

son:

-Existe al menos un X

-Para algún X

-Para algunos X

-Existe un tal X

-Algunos X

Por ejemplo si se quiere representar la expresión “existe al menos un

mexicano que escribe poemas y es político” se puede formalizar de la
siguiente manera:

Эx (Mexicano (x) escribepoemas (x) ^ deportista (x) )

Pero también podemos encontrar cuantificadores existenciales negativas

como por ejemplo “Algunos profesores no tienen doctorado” se puede
representar de la siguiente manera

“Existe por lo menos un X tal que, X es profesor y X no tiene doctorado

Эx (Profesor (x) ^ ¬Doctorado (x) )

Ejemplos:

1. “Existe al menos un estudiante que es casado y tiene hijos.”

Эx (Casado (x) ^ TieneHijos (x) )

2. “De los futbolistas colombianos algunos no son buenos”

Эx (Colombianos (x) ^ ¬Buenos (x) )

Bibliografia

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://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader
.action?ppg=109&docID=3199701&tm=1529510366591