17

(b)

[(∼ p ∧ q) → (q → p)] ∧ p ≡ [(∼ p ∧ q) → (∼ q ∨ p)] ∧ p

≡ [∼ (∼ p ∧ q) ∨ (∼ q ∨ p)] ∧ p

≡ [(∼ (∼ p)∨ ∼ q) ∨ (∼ q ∨ p)] ∧ p

≡ [(p∨ ∼ q) ∨ (∼ q ∨ p)] ∧ p

≡ [(p∨ ∼ q) ∨ (p∨ ∼ q)] ∧ p

≡ (p∨ ∼ q) ∧ p

≡ p ∧ (p∨ ∼ q) ≡ p

∴ [(∼ p ∧ q) → (q → p)] ∧ p ≡ p.

(c) Tarea. [(p → q) → (p ∧ q)] ∨ (p ∧ r)

1.2.2 Ejercicios propuestos

1. Si p(x) : x3 − 9 = 0, Q(x) : x + 6 = 0, y r(x) : x < 10.

Calcular el valor de verdad de:

(a) [∼ p(1) ∧ q(2)] ↔∼ r(3).

(b) [∼ p(2) → r(3)] ∨ q(4).

(c) ([(p(1) ∧ p(2)) ↔ (r(1) ∨ p(3))] → [p(2) ∨ q(2)].

2. Considere el conectivo lógico ⊗, definido por:

p q p⊗q
V V F
V F F
F V F
F F V

Construir la tabla de verdad de la proposición: [(p ⊗ q) → p] ∧ [q ⊗ (p ∨ q)].

 18

3. Sabiendo que la proposición p es verdadera, encuentre la tabla de verdad de la pro-

posición:
[(p → r) ∨ (q → r)] ↔ [(p ∧ q) → r].

4. (a) Hacer la tabla de verdad detallada de la proposición,

[p ∧ (∼ q → p)]∧ ∼ [(p ↔∼ q) → (q∨ ∼ p)].

(b) Sabiendo que los valores lógicos de p, q, y r son, respectivamente,V, F y V,

determine el valor lógico(V ó F) de (p → r) ↔ (q∨ ∼ r).

5. Sabiendo que c representa una contradicción, hacer la tabla de verdad detallada de

la proposición.
[(p ∧ q) ∧ (r ∧ c)] ↔ (p∨ ∼ r).

6. Construir la tabla de verdad y determinar cuáles son tautología, contradicción o

contingencia.

(a) [(p∨ ∼ q) ∧ q] → p.

(b) (p → q) ↔ [(r → q) ∧ (q → p)].

(c) [p → (q∨ ∼ r)]∧ ∼ (p ↔ r).

(d) ∼ (∼ p ↔ q) ↔ (p ↔ q).

(e) ∼ [(∼ p ∨ q) → q] ↔ (p → q).

(f) [∼ p ∨ (q∨ ∼ r)] ↔ [(∼ p ∧ q)∨ ∼ (p ∨ r)].

7. Simplificar las proposiciones siguientes aplicando las leyes lógicas.

(a) [(p → q)∨ ∼ p] ∧ (∼ q → p).

(b) ∼ {[∼ (∼ p ∧ q)∨ ∼ q] → [∼ (p∨ ∼ q)]}.

(c) [(∼ p ∧ q) → (r∧ ∼ r)]∧ ∼ q.

(d) [(p ∧ q) ∨ (p∧ ∼ q)] ∨ (∼ p∧ ∼ q).

(e) [(p ∧ q) ∨ (∼ p∧ ∼ q)] ∨ p.

(f) p → (r∨ ∼ q).