Cuantificador existencial

1. Qué es?

Es otro tipo de cuantificador dentro del cálculo de predicados, el cual indica que algún o
algunos valores son verdaderos dentro de un dominio o contexto específico.

Su símbolo es ∃ y se lee “existe” (alguno, al menos uno, algunos, algunas)

2. Ejemplo 1:

“Algunos estudiantes de pensamiento lógico matemático lograron aprobar el examen final”

∃ x E (símbolo pertenece) U /x aprobó el examen final

Donde el conjunto universal es U= {los estudiantes de pensamiento lógico matemático

3. Ejemplo 2:

“Algunos gatos no tienen cola”

Sean c(x): x es un gato que no tiene cola”

Donde x: “animales carnívoros”

3 (la E al contrario) x {c(x) }