933 - Tarea - 1 - Pilar Ahumada
933 - Tarea - 1 - Pilar Ahumada
933 - Tarea - 1 - Pilar Ahumada
CEL. 3024220452
2019
INTRODUCCION
Poder resolver cada uno de los puntos del ejercicio, aprendiendo y/o ir avanzando en
conocimiento y destreza a medida que vaya progresando en mi carrera y como persona.
CUANTIFICADOR EXISTENCIAL
Es otro tipo de cuantificador dentro del cálculo de predicados, el cual indica que alguno o algunos
valores son verdaderos dentro de un dominio o contexto específico.
En el cálculo podemos utilizar el cuantificador existencial poniéndolo en una variable para decir
que existe en un elemento de un conjunto al referirnos a una variable.
Ejemplo.
∃x (hombres(x) ^ (calvo(x))
Proposiciones simples.
[(p v q) ⟷ r]
Los estudiantes de la UNAD escriben sus inquietudes en el foro, el tutor lee y atiende sus
preguntas
PROPOSICIONES SIMPLES
P. Los estudiantes de la UNAD
Q. Escriben sus inquietudes en el foro
R. El tutor lee y atiente sus preguntas
p q r (p v q) <-> r
V V V V V
V V F V F
V F V V V
V F F V F
F V V V V
F V F V F
F F V F F
F F F F V
http://bibliotecavirtual.unad.edu.co:2460/lib/unadsp/reader.act
ion?ppg=20&docID=3226457&tm=1529246259924
https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.ac
tion?ppg=12&docID=3199701&tm=1529335849013
https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.a
ction?ppg=109&docID=3199701&tm=1529510366591
http://hdl.handle.net/10596/7961