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
cuatro primeras reglas básicas de la deducción: Modus ponens, Teorema de la deducción, Simplificación,
Producto.

Ejercicios:
a)

_1. A → (B ∧ C)

_2. B → (D ∧ E)

_3. X → Y

_4. Y → (Z ∧ W) ˫ (A → E) ∧ (X → W)

Solución

_5. A
_6. (𝐵 ∧ C) 𝑀𝑝(1,5)
_7. B Simp 1-(6)
_8. (𝐷 ∧ E) Mp (2,7)
_9. E Simp2-(8)
_10. (𝐴−> 𝐵) 𝑇𝑑(5 − 9)
_11. 𝑋
_12. 𝑌 𝑀𝑝(3,11)
_13. 𝑍 ∧ W 𝑀𝑝(4,12)
_14. 𝑊 𝑆𝑖𝑚𝑝 2 − (13)
_15. (𝑋 → 𝑊) 𝑇𝑑(11 − 14)
_16. (𝐴 → 𝐸) ∧ (𝑋 → 𝑊) 𝑃𝑟𝑜𝑑 (10,15)

b) _1. A → [B → (C → D)]

_2. X → (Y ∧ W)

_3. X

_4. X → (Z ∧ T) ˫ B → {[C →(A → D)] ∧ (Y ∧ Z)}

Nombre de la Institución Educativa

_5. 𝑌 ∧ W 𝑀𝑝(2,3)
_6. 𝑌 𝑆𝑖𝑚𝑝 1(5)
_7. Z∧ T 𝑀𝑝(4,3)
_8. 𝑍 𝑆𝑖𝑚𝑝1(7)
_9. (𝑌 ∧ Z) 𝑃𝑟𝑜𝑑(6,8)
_10. B
_11. C
_12. A
_13. 𝐵 → (𝐶 → 𝐷) 𝑀𝑝(1,12)
_14. 𝐶 → 𝐷 𝑀𝑝(13,10)
_15. D 𝑀𝑝(14,11)
_16 𝐴 → 𝐷 𝑇𝐷(12 − 15)
_17. 𝐶 → (𝐴 → 𝐷) 𝑇𝑑(11 − 16)
_18. 𝐵 → [𝐶 → (𝐴 → 𝐷)] 𝑇𝑑(10 − 17)
_19. 𝐵 → [𝐶 → (𝐴 → 𝐷)] ∧ (Y ∧ Z) 𝑃𝑟𝑜𝑑(18,9)

c) _1. (Y ∧ Z) → D

_ 2. Y ∧ Z

_ 3. (Y ∧ Z) → T

_ 4. W → Z ˫ W → [Z ∧ (D ∧ T)]

_5. 𝐷 𝑀𝑃(1,2)
_6. 𝑇 𝑀𝑝(3,2)
_7. (𝐷 ∧ 𝑇) 𝑃𝑟𝑜𝑑(5,6)
_8. 𝑊
_9. Z 𝑀𝑝(4,8)
_10. [𝑍 ∧ (D → T)] 𝑃𝑟𝑜𝑑(9,7)
_11. 𝑊 → [𝑍 ∧ (D → T)] 𝑇𝑑(8 − 10)

d) _1. E → (F ∧ G)

_ 2. (C ∧ A) → B

_ 3. F → [(D ∧ C) ∧ A] ˫ E → (D ∧ B)

_4. 𝐸
_5. 𝐹 ∧ G 𝑀𝑝(1,4)
_6. 𝐹 𝑆𝑖𝑚𝑝1 − (5)
_7. (𝐷 ∧ C) ∧ A 𝑀𝑝(3,6)
_8. 𝐴 𝑆𝑖𝑚𝑝 2 − (7)
_9. 𝐷 ∧ C 𝑆𝑖𝑚𝑝 1 − (7)
_10. 𝐷 𝑆𝑖𝑚𝑝 1 − (9)
_11. 𝐶 𝑆𝑖𝑚𝑝2 − (9)
_12. (𝐶 ∧ A) 𝑃𝑟𝑜𝑑(11,8)
_13. 𝐵 𝑀𝑝2,12)

Universidad Politécnica Salesiana

2
Nombre de la Institución Educativa

_14. (𝐷 ∧ 𝐵)
_15. 𝐸 → (𝐷 ∧ B) 𝑇𝑑(4 − 14)

e)

_1. (¬ J v ¬ ¬ J) → (I ∧ H)

_2. ¬ (¬ J v ¬ ¬ J) → (I ∧ K)

_3. (¬ J v ¬ ¬ J) ∧ ¬ (¬ J v ¬ ¬ J) ˫ I → (H ∧ K)

_4. (¬𝐽v¬¬J) 𝑆𝑖𝑚𝑝(3)

_5. (𝐼 ∧ H) 𝑀𝑝(1,5)
_6. 𝐼
_7. 𝐻 𝑆𝑖𝑚𝑝 2(5)
_8. ¬(¬𝐽v¬¬J) 𝑆𝑖𝑚𝑝2(3)
_9. 𝐼 ∧ 𝐾 Mp(2,8)
_10. 𝐾 𝑆𝑖𝑚𝑝2(9)
_11. (𝐻 ∧ K) 𝑃𝑟𝑜𝑑(7,10)
_12. 𝐼 → (𝐻 ∧ K) 𝑇𝑑(6 − 11)

f)

_1. U ∧ P 4

_2. W ∧ O

_3. X v Y ˫ {Z v A → [(M v N) → (U ∧ W)]} ∧ [(X v Y) ∧ (O ∧ P)]

_4. (𝑍 v A)
_5. (𝑀 v 𝑁)
_6. 𝑈 𝑆𝑖𝑚𝑝1 − (1)
_7. 𝑃 𝑆𝑖𝑚𝑝2 − (1)
_8. 𝑊 𝑆𝑖𝑚𝑝1 − (2)
_9. 𝑂 𝑆𝑖𝑚𝑝2 − (2)
_10. (𝑈 ∧ W) 𝑃𝑟𝑜𝑑(6,8)
_11. [(𝑀vN) → (U ∧ W)] 𝑇𝑑(5 − 10)
_12. (𝑍 v A) → [M v N) → (U ∧ W)] 𝑇𝑑(4 − 11)
_13. (𝑂 ∧ P) 𝑃𝑟𝑜𝑑(9,7)
_14. [(𝑍 v Y) ∧ (O ∧ P)] 𝑃𝑟𝑜𝑑 (3,13)
_15. (𝑍 v A) → [(M v N) → (U ∧ W)] ∧ [(XvY) ∧ 𝑃𝑟𝑜𝑑(12,14)
(O ∧ P)]

Universidad Politécnica Salesiana

3
Nombre de la Institución Educativa

g)

_1. P → Q

_2. Q → (R ∧ T)

_3. (R ∧ T) → S

_4. S → (T v S)

_5. Q ˫ [(P ∧ R) → [(T v S)] ∧ Q]

_6. (𝑃 ∧ 𝑅)
_7. 𝑅 ∧ 𝑇 𝑀𝑝(2,5)
_8. 𝑅 𝑆𝑖𝑚𝑝1 − (7)
_9. 𝑇 𝑆𝑖𝑚𝑝2 − (7)
_10. 𝑆 𝑀𝑝(3,7)
_11. (𝑇 ∧ S) 𝑃𝑟𝑜𝑑(9,10)
_12. (𝑃 ∧ R) → (T v S) 𝑇𝑑(6 − 11)
_13. [(𝑃 ∧ R) → (T v S)] ∧ Q 𝑃𝑟𝑜𝑑(12,5)

h)

_1. R v S

_2. T → [P → (¬ Q v R)] ∧ S

_3. [P → (¬ Q v R) ∧ S] → {(R v S) → [¬ S → (P → R)]}

_4. Q ˫ {(T ∧ M) → [¬ S → (P → R)]} ∧ Q

_5. (𝑇 ∧ M)
_6. 𝑇 𝑆𝑖𝑚𝑝 1 − (5)
_7. 𝑀 𝑆𝑖𝑚𝑝2 − (5)
_8. 𝑃 → (¬𝑄vR) ∧ S 𝑀𝑝(2,6)
_9. {(𝑅 v S) → [¬s → (P → R[} 𝑀𝑝(3,8)
_10. [¬𝑆 → (𝑃 → 𝑅)]
_11. (𝑇 ∧ M) → [¬S → (P → R)] 𝑇𝑑(5 − 10)
_12. {(𝑇 ∧ M) → [¬S → (P → R)]} ∧ Q 𝑃𝑟𝑜𝑑(11,12)

i)

_1. P → (Q ∧ R)

_2. Q → [(S v T) → (R ∧ S)]

_3. [(S v T) → (R ∧ S)] → W

_ 4. S ˫ (P ∧ S) → (W ∧ S)

Universidad Politécnica Salesiana

4
Nombre de la Institución Educativa

_5. (𝑃 ∧S)
_6. 𝑃 𝑆𝑖𝑚𝑝 1 − (5)
_7. (𝑄 ∧ R) 𝑀𝑝(1,6)
_8. 𝑄 𝑆𝑖𝑚𝑝 − (7)
_9. [(𝑆v T) → (R ∧ S)] 𝑀𝑝(2,8)
_10. 𝑊 𝑀𝑝(3,9)
_11. (𝑊 ∧ S)
_12. (𝑃 ∧ S) → (W ∧ S) 𝑇𝑑(5 − 11)

j)

_1. (B ∧ C) → (A ∧ C)

_2. (C ∧ B) → (R ∧ S) ˫ C → [B → (A ∧ S)]

_3. 𝐶
_4. 𝐵
_5. 𝐶 ∧ B 𝑃𝑟𝑜𝑑(3,4)
_6. 𝐵 ∧ C 𝑃𝑟𝑜𝑑(4,3)
_7. 𝑅 ∧ S 𝑀𝑝(2,5)
_8. 𝐴 ∧ C 𝑀𝑝(1,6)
_9. 𝐴 𝑆𝑖𝑚𝑝1(8)
_10. 𝑆 𝑆𝑖𝑚𝑝2(7)
_11. (𝐴 ∧ S) 𝑀𝑝(9,10)
_12. 𝐵 → (𝐴 ∧ S) 𝑇𝐷(4 − 11)
_13. 𝐶 → [𝐵 → (𝐴 ∧ S)] 𝑇𝐷(3 − 12)

Universidad Politécnica Salesiana

5