Datos del alumno Fecha

Nombres: Juan Fernando 20/11/2022

Apellidos: Guerrero Peláez

Desarrollo de la Actividad
Construya una prueba formal de validez de cada uno de los ejercicios presentados con el empleo
de las ocho reglas básicas de la deducción: Modus ponens, Teorema de la deducción,
Simplificación, Producto, Adición, Prueba por casos, Doble negación, Reducción al Absurdo.

A)

-1. A → ¬ (Q ∧ R) ∧ B

-2. B → (Q ∧ R) ├ A → [(M v N) → (T v S)]

_3. 𝐴
_4. 𝑀 v 𝑁
_5. T
_6. ¬(𝑄 ∧ R) ∧ B 𝑀𝑃(1,3)
_7. 𝐵 𝑆𝑖𝑚𝑝(2,6)
_8. 𝑇 → 𝐵 𝑇𝐷(5,7)
_9. 𝑇 𝑀𝑃(5,8)
_10. 𝑇 v S 𝐴𝐷(1,9)
_11. (𝑀vN) → (T v S) 𝑇𝐷(4,10)
_12. 𝐴 → [(𝑀 v N) → (T v S)] 𝑇𝐷(2,11)

B)

-1. A v (X ∧ Y)

-2. (X v C) → ¬ (A →X) ├ ¬ (A →X)

Nombre de la Institución Educativa

_3. 𝑋 ∧ Y
_4. 𝑋 𝑆𝑖𝑚𝑝(1,3)
_5. 𝑋 v C 𝐴𝐷(1,4)
_6. ¬(𝐴 → 𝑋) 𝑀𝐷(2,5)
_7. 𝐴
_8. 𝑋
_9. 𝑋 v C 𝐴𝐷(1,8)
_10. 𝑋 → (𝑋 v C) 𝑇𝐷8 − (9)
_11. ¬(𝐴 → 𝑋) 𝑀𝑃(2,9)

C)

-1 p → [(r → y) v (s ∧ z)]

-2 (t → w) ∧ u

-3 (r→ y) → t

-4 (s ∧ z) → t

-5 w → ~ u ├¬p

_6. 𝑃
_7. (𝑟 → 𝑦) v (s ∧ z)
_8. (𝑟 → 𝑦)
_9. T 𝑀𝑃(8,3)
_10. (𝑠 ∧ z)
_11. 𝑡 𝑀𝑃(10,4)
_12. 𝑡 𝐶𝑎𝑠 7,8) − (9,10) − 11
(
_13. 𝑡 → 𝑤 𝑆𝑖𝑚𝑝(12)
_14. 𝑤 𝑀𝑃(12,13)
_15. ¬𝑢 𝑀𝑃(5,14)
_16. 𝑢 𝑆𝑖𝑚𝑝 2 2
_17. 𝑢 ∧ ¬u 𝑃𝑟𝑜𝑑(15,16)
_18. ¬𝑝

Universidad Politécnica Salesiana

2
Nombre de la Institución Educativa

D)

-1 (p → q) → (¬ ¬ ¬ w ∧ s)

-2 (p v q) ∧ w ˫ w → ¬ (p → q)

_3. 𝑤
_4. 𝑝 → 𝑞
_5. ¬¬¬𝑤 ∧ s 𝑀𝑃(1,4)
_6. ¬¬¬𝑤 𝑆𝑖𝑚𝑝 (1,5)
_7. ¬𝑤 𝐷𝑁6
_8. 𝑤 ∧ ¬w 𝑃𝑟𝑜𝑑(3,7)
_9. ¬(𝑝 → 𝑞) 𝐴𝑏𝑠 4 − 8
_10. 𝑤 → ¬(𝑝 → 𝑞)

E)

- 1 D v A → ¬ ((C v E) → D)

- 2 (C v E) v (A ∧ B) ˫ ¬ ((C v E) → D)

_3. (𝐶 v E) → D
_4. 𝐶 v E
_5. 𝐷 𝑀𝑃(3,4)
_6. 𝐷 v A 𝐴𝐷(1 5)
_7. 𝐴 ∧ B
_8. 𝐴 𝑆𝑖𝑚𝑝 1 7
_9. 𝐷 v A 𝐴𝐷 2 8
_10. 𝐷 v A 𝐶𝑎𝑠2,4 − 6,7 − 9
_11. ¬((𝐶 v E) → D) 𝑀𝑃1,10
_12. ((𝐶 v E) → D) ∧ ¬((C v E) → D 𝑃𝑟𝑜𝑑 3,11
_13. ¬((𝐶 v 𝐸) → 𝐷) 𝐴𝑏𝑠 3 − 12

F)

- 1 J → ((K → N) ∧ L)

-2H→IvJ

- 3 Q → (J ∧ (K → N))

- 4 I → (K → N) ˫ H v Q → (K → N)

Universidad Politécnica Salesiana

3
Nombre de la Institución Educativa

_5. 𝐻 v Q
_6. 𝐻
_7. 𝐼 v J 𝑀𝑃(2,6)
_8. 𝐼
_9. (𝐾 → 𝑁) ∧ 𝑀𝑃(4,8)
_10. 𝐽
_11. (𝐾 → 𝑁) ∧ L 𝑀𝑃(1,10)
_12. 𝐾 → 𝑁 𝑆𝑖𝑚𝑝 1 11
_13. 𝐾 → 𝑁 𝐶𝑎𝑠7,8 − 9,10 − 12
_14. Q
_15. 𝐽 v (𝐾 → 𝑁) 𝑀𝑃(3,14)
_16. (𝐾 → 𝑁) 𝑆𝑖𝑚𝑝 2 15
_17. 𝐾 → 𝑁 𝐶𝑎𝑠 5,6 − 13,14 − 16
_18. 𝐻 v Q → (K → N) 𝑇𝐷 5 − 17

G)

- 1 (F v G) → (C ∧ E)

- 2 (((A → B) ∧ B) → C) ∧ ¬ (C v D) ˫ (A → B) → ((B v F) → G)

_3. 𝐴 → 𝐵
_4. 𝐵 v F
_5. ((𝐴 → 𝐵) ∧ B) → C 𝑆𝑖𝑚𝑝 1 2
_6. ¬(𝐶 v D) 𝑆𝑖𝑚𝑝 2 2
_7. 𝐵
_8. (𝐴 → 𝐵) ∧ B 𝑃𝑟𝑜𝑑3,7
_9. 𝐶 𝑀𝑃5,8
_10. 𝐹
_11. 𝐹 v G 𝐴𝐷 1 10
_12. 𝐶 ∧ E 𝑀𝑃 1,11
_13. 𝐶 𝑆𝑖𝑚𝑝 1,12
_14. 𝐶 𝐶𝑎𝑠4,7 − 9,10 − 13
_15. 𝐶 v D 𝐴𝐷 1 14
_16. ¬𝐺
_17. (𝐶 v D)v¬(C v D) 𝑃𝑟𝑜𝑑 6,15
_18. ¬¬𝐺 𝐴𝑏𝑠 16 − 17
_19. 𝐺 𝐷𝑁 18
_20. (𝐵 v F) → G 𝑇𝐷 4 − 19
_21. (𝐴 → 𝐵) → ((𝐵 v F) → G) 𝑇𝐷 3 − 20

Universidad Politécnica Salesiana

4
Nombre de la Institución Educativa

H)

_1 H → A

_2 ¬ ¬ E ˄ ¬ ¬ (¬ ¬ S ˄ H) ├C→S˄A

_3. 𝐶
_4. ¬¬(¬¬𝑆 ∧ H) 𝑆𝑖𝑚𝑝 2 2
_5. 𝑆 ∧ H 𝐷𝑁 4
_6. 𝐻 𝑆𝑖𝑚𝑝 2 5
_7. 𝐴 𝑀𝑃 6,1
_8. 𝑆 𝑆𝑖𝑚𝑝 1 5
_9. 𝑆 ∧ A 𝑃𝑟𝑜𝑑 7,8
_10. 𝐶 → 𝑆 ∧ A 𝑇𝐷 3 − 9

Universidad Politécnica Salesiana

5