Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Parcial 1
Parcial 1
Ciencia de Datos
Discretas
Parcial 1
Instrucciones
(a) Demostrar r
(1) (p ∨ a) → r
(2) s ∧ t
(3) ¬p → (q ∨ ¬b)
(4) s → ¬q
(5) ¬s ∨ b
(b) Demostrar t ∧ r
(1) ¬p → ¬(q ∧ r)
(2) q ∧ ¬u
(3) p → (s ∨ ¬q)
(4) s → t
(5) ¬r → ¬q
4. (1.2) Demuestre que las siguientes proposiciones son lógicamente equivalentes al desarrollar una
serie de equivalencias lógicas.
(a) ¬(p → (q ∨ ¬p)), p ∧ ¬q
(b) (q → p) ∧ (p ∨ r), ¬p → (¬q ∧ r)