PENSAMIENTO LOGICO Y MATEMATICO

CUANTIFICADOR EXISTENCIAL

ENTREGADO POR:
ANATILDE REYES REYES

TUTOR:
CARLOS EDUARDO OTERO MURILLO

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

ESCUELA DE LA SALUD
2019
CUANTIFICADOR EXITENCIAL
En el lenguaje de predicados en lógica
matemática, se usa el símbolo: ,
llamado cuantificador existencial,
antepuesto a una variable para decir que
"existe" al menos un elemento del conjunto,
B , al que hace referencia la variable, que
cumple la proposición escrita a
continuación
EJEMPLOS
Algunos son vegetales
2. Hay flores
3. Existen animales
son existenciales o particulares
Para simbolizarlos lógicamente se determinan los predicados así:
V: “ser vegetal”
F: “ser flor”
A: “ser animal”
Simbólicamente los enunciados quedan como sigue:
BIBLIOGRAFIA
Real Academia de Ciencias Exactas, Física y
Naturales, ed. (1999). Diccionario esencial de
las ciencias. Espsa. ISBN 84-239-7921-0.

2000. Knowledge representation : logical,

philosophical, and computational foundations,
Brooks Cole Publishing Co., Pacific Grove.
(Knowledge Representation: Logical,
Philosophical, and Computational
Foundations at jfsowa.com. Retrieved Nov 23,
2012).