Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Ejercicio2-Unidad 1 - Eduar Suarez.
Ejercicio2-Unidad 1 - Eduar Suarez.
Respuesta: (p ⇒ q) ∨ (-q ⇒ r)
Lenguaje simbólico:
SI p ENTONCES q.
p⇒q
SI NO q ENTONCES r
-q ⇒ r
Como a las dos anteriores los une un "o" (∨), el párrafo entero quedaría así:
(p ⇒ q) ∨ (-q ⇒ r)
Generar una tabla de verdad manualmente a partir del lenguaje simbólico y determinar si el
resultado es una tautología, contingencia o contradicción.
p q r ~q (p ⇒ q) ∨ (-q ⇒ r)
v v f f v
v f v v v
f f f f f
Es una contradicción.