EJERCICIO 3 UNIDAD 1

b. ( ¬ p → q ) ∧ ( r ∨q )

a. Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural.

b. General una tabla de verdad con el simulador Lógica UNAD a partir del lenguaje
simbólico.
c. Generar una tabla de verdad manualmente a partir del lenguaje simbólico.
d. Definir si el argumento seleccionado inicialmente es una tautología, contradicción
o contingencia.

DESARROLLO

A. P: Andrés no es policía
Q: Andrés se graduó de la UNAD
R: Andrés trabaja en el CAI

Andrés no es policía entonces Andrés se graduó de la unad, y Andrés trabaja en el CAI o se

grado de la unad.

B.
C.

p q r ¬p (¬p→q) (rvq) (¬p→q)∧(r ∨

q)
v v v f f v v
v v f f v v v
v f v f f v v
v f f f v f f
f v v v v v v
f v f v v v v
f f v v v v f
f f f v v f f

D. Esta tabla y formula es una contingencia porque tiene más de 1 valor diferente que los
demás
 REFERENCIAS

Aprende en línea. Recuperado de:

http://aprendeenlinea.udea.edu.co/boa/contenidos.php/8b077438024e1bddfbc83706da8049f
2/138/1/contenido/contenido/cuantificadores.html

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

Corral De Zurita, Nilda J. Universidad nacional del nordeste (2005). La cuantificación

universal negativa en la semántica del lenguaje natural. Recuperado de:
http://www.unne.edu.ar/unnevieja/Web/cyt/com2005/2-Humanidades/H-026.pdf

Sequera Luis.(19, agosto, 2014). Primera unidad. Cuantificadores universales. Recuperado

de: http://primeraunidad101.blogspot.com/2014/08/cuantificadores.html

Soluciones matemáticas discretas. Recuperado de:

https://sites.google.com/site/mathematicasdiscretesolutions/logica-de-po/cuantificadores

Xiomara Acosta, cuantificador universal. Recuperado de: https://www.youtube.com/watch?

v=vfKFKy0OrHU