Question

Demuestre por medio de tablas de verdad si las siguientes
proposiciones son Tautología, Contingencia o Contradicción.
a) ∼ {[∼p ∧ (∼q v p)] ⇒ q}
b) [(p v q) ∧ (p v r)] ⇔ [p v (q ∧ r)]
c) [(p ⇒ q) ∧ (q ⇒r)] ⇔ (p ⇒ r)

Answer 1

Respuesta:

a) Contingencia

b) Tautologia

c) Tautologia