You are on page 1of 1

EJERCICIOS

Verificar si las siguientes proposiciones son Tautologías, Contradicción, Contingencia, Equivalencia


o Implicación.

1. [(p ∨ q) ⇒ q] ⇒ (∼ p ∨ q).

2. (p ⇒ q) ⇒ [(p ∧ r) ⇒ (q ∧ r)].

3. ∼ [(∼ p ⇒ q) ∧ ∼ (p ∧ q)] ∧ q.

4. [(p ⇒ q) ∧ (q ⇒ r)] ⇒ (p ⇒ r).

5. [(p ∨ q) ∧ ∼ p] ⇔ (∼ p ∧ q).

6. [∼ (p ∨ q) ∨ (∼ p ∧ q)] ⇔∼ p.

7. [p ⇒ (q ∧ r)] ⇔ [(p ⇒ q) ∧ (p ⇒ r)].

You might also like