Datos del alumno Fecha

Nombres: Marcos Alexander 20/11/2021

Apellidos: Criollo Llumiquinga

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.

a)
1. A → (B ∧ C)
2. B → (D ∧ E)
3. X→Y
4. Y → (Z ∧ W)

5.A
6. (B∧C) 1 y 6 MP
7. B Simp 1
8. (D∧E) 2 y 8 MP
9. E
10. (A→E) T.D
11. X
12. Y MP 3 y 11
13. (Z∧W) MP 4 y 12
14. W Simp 1
15. (X→W) T.D
16. (A→E) ∧ (X→W) Prod 10 y 15
Nombre de la Institución Educativa

b)
1. A → [B → (C → D)]
2. X → (Y ∧ W)
3. X
4. X → (Z ∧ T)
5. B
6. C
7. A
8. [B→ (C→D)] MP 1 y 7
9. (C→D) MP 5 y 8
10. D MP 6 y 9
11. (A→D) T.D
12. [C → (A→D)] T.D
13. (Y∧W) MP 2 y 3
14. (Z∧T) MP 3 y 4
15. Y simp 13
16. Z simp 14
17. (Y∧Z) Prod 15 y 16
18. {[C → (A→D)] ∧ (Y∧Z)} Prod 12 y 17
19. B → {[C → (A→B)] ∧(Y∧Z)}
c)
1. (Y ∧ Z) → D
2. Y∧Z
3. (Y ∧ Z) → T
4. W→Z
5. D MP 1 y 2
6. T MP. 2 y 3
7. (D∧T) Producto
8. W
9. Z MP. 4 y 8
10. Z ∧ (D∧T) Prod 9 y 7
11. W → [Z ∧ (D∧T)]

Universidad Politécnica Salesiana

2
Nombre de la Institución Educativa

d)
1. E → (F ∧ G)
2. (C ∧ A) → B
3. F → [(D ∧ C) ∧ A]
4. E
5. (F ∧ G) MP. 1 y 4
6. F simp 5
7. [(D∧C) ∧ A] MP. 6y 3
8. A simp 7
9. (D ∧ C) Simp2 7
10. C simp 9
11. (C ∧ A) Prod 10 y 8
12. B MP 2 y 11
13. D Simp2 9
14. D ∧ B Prod 13 y 12
15. E → (D ∧ B) T.D

e)
1. (¬ J v ¬ ¬ J) → (I ∧ H)
2. ¬ (¬ J v ¬ ¬ J) → (I ∧ K)
3. (¬ J v ¬ ¬ J) ∧ ¬ (¬ J v ¬ ¬ J)
4. (¬J v ¬ ¬ J ) Simp1 3
5. (I ∧ H) MP 1 y 4
6. ¬ (¬ J v ¬ ¬ J) Simp2 3
7. (I ∧ K) MP 2 y 6
8. I Simp1 5
9. H Simp2 5
10. K Simp1 7
11. (H ∧ K) Prod 9 y 10
12. I → (H ∧ K) T.D

Universidad Politécnica Salesiana

3
Nombre de la Institución Educativa

f)
1. U ∧ P
2. W ∧ O
3. X v Y ˫ {Z v A → [(M v N) → (U ∧ W)]} ∧ [(X v Y) ∧ (O ∧
P)]
4. A
5. (MvN)
6. U Simp1 1
7. W Simp1 2
8. U ^ W Prod 1 y 2
9. (M v N) → (U ^ W)
10. A → [(M v N) → (U ∧ W)] TD
11. {Z v A → [(M v N) → (U ∧ W)]} Prod (z) y 10
12. O Simp2 2
13. P Simp2 1
14. O ^ P Prod 12 y 13
15. [(X v Y) ∧ (O ∧ P)] Prod 3 y 14
16. {Z v A → [(M v N) → (U ∧ W)]} ∧ [(X v Y) ∧ (O ∧ P)] Prod 11 y 15

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. P
7. Q MP 1 y 6
8. (R ^ T) MP 2 y 7
9. P →(R ^ T) TD
10. R Simp1 8
11. P ^ R Prod 6 y 10
12. S MP 8 y 3
13. (T v S) MP 4 y 12
14. (P ^ R) → (T v S) TD
15. [(P ∧ R) → [(T v S)] ∧ Q] Prod 14 y 5

Universidad Politécnica Salesiana

4
Nombre de la Institución Educativa

h)
1. R v S
2. (T^M) → [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. T ^ M
6. [P → (¬ Q v R) ∧ S] MP 2 y 5
7. {(R v S) → [¬ S → (P → R)]} MP 3 y 6
8. [¬ S → (P → R)] MP 7 y 1
9. {(T ∧ M) → [¬ S → (P → R )]} TD
10. {(T ∧ M) → [¬ S → (P → R)]} ∧ Q Prod 9 y 4

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)
5. (P ^ S)
6. P Simp1 5
7. (Q ^ R) MP 1 y 6
8. Q Simp1 7
9. [(S v T) → (R ∧ S)] MP 2 y 8
10. W MP 3 y 9
11. (W ^ S) Prod 10 y 4
12. (P ∧ S) → (W ∧ S) TD

Universidad Politécnica Salesiana

5
Nombre de la Institución Educativa

j)
1. (B ∧ C) → (A ∧ C)
2. (C ∧ B) → (R ∧ S) ˫ C → [B → (A ∧ S)]

3. C
4. B
5. (B ^ C) Prod 3 y 4
6. (A^ C) MP 1 y 5
7. (C^B) Prod 3 y 4
8. (R^S) MP 7 y 2
9. A Simp 1 6
10. S Simp1 8
11. A ^ S Prod 9 y 10
12. [B → (A ∧ S)] TD
13. C → [B → (A ∧ S)] TD

Universidad Politécnica Salesiana

6