Ejercicios del GRUPO 2 del libro de Ricardo Figueroa.

1. ~[~p → ~(~q ∧ ~p)] ∨ ~(~p ∨ ~q)

p q ~p ~q (~q∧~p) ~(~q∧~p) [~p→~(~q∧~p)] ~[~p→~(~q∧~p)]
V V F F F V V F
V F F V F V V F
F V V F F V V F
F F V V V F F V

(~p∨~q) ~(~p∨~q) ~[~p→~(~q∧~p)]∨~(~p∨~q)

F V V
V F F
V F F
V F V

Es una contingencia
2. [(p ∨ ~q) ∧ ~p] △ ~(~q → p)
p q ~p ~q (p ∨~q) [(p ∨~q)∧~p] (~q→p) ~(~q→p) [(p ∨~q)∧~p]△~(~q→p)
V V F F V F V F F
V F F V V F V F F
F V V F F F V F F
F F V V V V F V F

Es una contradicción
3. ~(p → q) ↔ ~(~q → ~p)
p q ~p ~q (p→q) ~(p→q) (~q→~p) ~(~q→~p) ~(p→q)↔~(~q→~p)
V V F F V F V F V
V F F V V F F V F
F V V F F V V F F
F F V V V F V F V

Es una contingencia
 4. [p → (q → r)] ↔ [(p ∧ ~r) → ~q]

p q r ~p ~q ~r (q→r) [p→(q→r)] (p ∧~r) [(p ∧~r)→~q] [p→(q→r)]↔[(p ∧~r)→~q]

V V V F F F V V F V V
V V F F F V F F V F V
V F V F V F V V F V V
V F F F V V V V V V V
F V V V F F V V F V V
F V F V F V F V F V V
F F V V V F V V F V V
F F F V V V V V F V V

Es una tautología
5. [(p ∧ ~q) ∧ (~p ↔ r)] → (p ∨ ~q)

p q r ~p ~q ~r (p∧~q) (~p↔r) [(p∧~q)∧(~p↔r)] (p∨~q) [(p∧~q)∧(~p↔r)]→(p∨~q)

V V V F F F F F F V V
V V F F F V F V F V V
V F V F V F V F F V V
V F F F V V V V V V V
F V V V F F F V F F V
F V F V F V F F F F V
F F V V V F F V F V V
F F F V V V F F F V V

Es una tautología

6. [p ∨ (q → ~r)] ∧ [(~p ∨ r) ↔ ~q]

p q r ~p ~q ~r (q→~r) [p∨(q→~r)] (~p∨r) [(~p∨r)↔~q] [p∨(q→~r)]∧[(~p∨r)↔~q]
V V V F F F F V V F F
V V F F F V V V F V V
V F V F V F V V V V V
V F F F V V V V F F F
F V V V F F F F V F F
F V F V F V V V V F F
F F V V V F V V V V V
F F F V V V V V V V V

Es una contingencia
7. [(~p ∧ q) → ~r)] ↔ [r ∧ ~(p ∨ ~q)]
 [(~p ∧ q) → ~r)] ↔ [r ∧ ~(p ∨ ~q)]
p q r ~p ~q ~r (~p ∧ q) (~p ∧ q) → ~r) (p ∨ ~q) r ∧ ~(p ∨ ~q)

V V V F F F F V V F F
V V F F F V F V V F F
V F V F V F F V V F F
V F F F V V F V V F F
F V V V F F V F F V F
F V F V F V V V F F F
F F V V V F F V V F F
F F F V V V F V V F F

Es una contradicción
8. ∼ {(𝑝 ∧ 𝑞) ∨ [𝑝 ∧ (∼ 𝑝 ∨ 𝑞)]} ↔ (p → ∼ q)

p q ~p ~q (𝑝 ∧ 𝑞) 𝑝 ∧ (∼ 𝑝 ∨ 𝑞) ∼ {(𝑝 ∧ 𝑞) ∨ [𝑝 ∧ (∼ 𝑝 ∨ 𝑞)]} (p → ∼ q) ∽ {(𝑝 ∧ 𝑞) ∨ [𝑝 ∧ (∼ 𝑝 ∨ 𝑞)]} ↔ (p → ∼ q)

V V F F V V F F V

V F F V F F V V V

F V V F F F V V V

F F V V F F V V V

Es una tautología
9. [𝑝 ∧ (∼ 𝑞 → 𝑝) ∧ ∼ [(𝑝 ↔ ~𝑞) → (𝑞 ∨ ∼ 𝑝)]

p q ~p ~q (∼ 𝑞 → 𝑝) 𝑝 ∧ (∼ 𝑞 → 𝑝) ∼ [(𝑝 ↔ ~𝑞) → (𝑞 ∨ ∼ 𝑝)] [𝑝 ∧ (∼ 𝑞 → 𝑝) ∧ ∼ [(𝑝 ↔ ~𝑞) → (𝑞 ∨ ∼ 𝑝)]

V V F F V V F F

V F F V V V V V

F V V F V F F F

F F V V F F F F

Es una contingencia
10. [∼ 𝑝 ∧ (𝑞 ∨ ∼ 𝑟)] ↔ [(∼ p ∧ q) ∨ ∼ (p ∧ r)]
 [∼ 𝑝 ∧ (𝑞 ∨ ∼ 𝑟)] ↔ [(∼ p ∧ q) ∨ ∼ (p ∧ r)]
p q r ~p ~q ~r (𝑞 ∨ ∼ 𝑟) [∼ 𝑝 ∧ (𝑞 ∨ ∼ 𝑟)] [(∼ p ∧ q) ∨ ∼ (p ∧ r)]

V V V F F F V F F V
V V F F F V V F F V
V F V F V F F F F V
V F F F V V V F F V
F V V V F F V V V V
F V F V F V V V V V
F F V V V F F V V V
F F F V V V V V V V

Es una tautología
11. [(𝑝 ∆ ~𝑞) ∧ ∼ (𝑟 ∧ 𝑞)] ↔ ∼ [(p ∆ ∼ 𝑞) → (𝑞 ∧ 𝑟)]

[(𝑝 ∆ ~𝑞) ∧ ∼ (𝑟 ∧ 𝑞)] ↔ ∼ [(p ∆ ∼ 𝑞) → (𝑞 ∧ 𝑟)]

p q r ~p ~q ~r (𝑝 ∆ ~𝑞) [(𝑝 ∆ ~𝑞) ∧ ∼ (𝑟 ∧ 𝑞)] ∼ [(p ∆ ∼ 𝑞) → (𝑞 ∧ 𝑟)]

V V V F F F V F V V
V V F F F V V V F V
V F V F V F F F V V
V F F F V V F F V V
F V V V F F F F V V
F V F V F V F F V V
F F V V V F V V F V
F F F V V V V V F V

Es una Tautología
12. {[(∼ 𝑝 ∧ 𝑟) → 𝑞] ↔ [∼ q ↔ (p ∨ r)]} ∆ {(𝑝 ↔ q)∆(𝑞 ∨∼ 𝑟)}
{[(∼ 𝑝 ∧ 𝑟) → 𝑞]
[(∼ 𝑝 ∧ 𝑟) → 𝑞] ↔ [∼ q ↔ (p ∨ r)]} ∆ {(𝑝
p q r ~p ~q ~r [∼ q ↔ (p ∨ r)] {(𝑝 ↔ q)∆(𝑞 ∨∼ 𝑟)}
↔ q)∆(𝑞 ∨∼ 𝑟)}

V V V F F F v F F F
V V F F F V V F F F
V F V F V F V V F V
V F F F V V V V V F
F V V V F F V F V V
F V F V F V V V V F
F F V V V F F V V V
F F F V V V V F F F

Es una contingencia
 13. Afirmamos que:
A: “Hoy es lunes pero no martes, entonces hoy no es feriado” ↔ “Hoy es feriado,
entonces no es verdad que hoy es lunes y no es martes”.
B: “Hoy es lunes o martes, si y sólo si, hoy no es lunes” ↔ “Hoy no es lunes y hoy es
martes”.
C: “Hoy es feriado y no es martes, entonces hoy es martes” ↔ “Hoy no es martes,
entonces no es feriado”.
¿Cuáles son verdaderas?
Respuesta: Todas las afirmaciones son verdaderas.
14. (1) Es necesario y suficiente que p y q sean falsos para que:
∼ (𝑝 ∧ 𝑟) → (𝑞 ∨∼ 𝑟) sea falsa.

(2) Es necesario que q sea falsa y r verdadera para que:

(𝑝 ∧∼ 𝑞) → (∼ 𝑟 ∨ ∼ 𝑝) sea falsa.

(3) No es necesario que p y q sean verdaderas para que:

∼ (𝑝 ∆ 𝑞) ∨ (∼ 𝑝 ∆ ∼ 𝑞) sea verdadera.
¿Cuáles de estas afirmaciones son verdaderas?
Respuesta: Son verdaderas solamente las afirmaciones 2 y 3.