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)
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)
Respuesta:
a) Contingencia
b) Tautologia
c) Tautologia