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).