lOMoARcPSD|5199421

UNIVERSIDAD POLITECNICA SALESIANA

Datos del alumno Fecha

Nombres: Paula Anabell 27/06/2022

Apellidos: Chenche Cruel

Desarrollo de la Actividad
Ejercicio A:
_1. A → (B 𝖠 C)
_2. B → (D 𝖠 E)
_3. X → Y
_4. Y → (Z 𝖠 W)
5. A ˫ (A → E) 𝖠 (X → W)

_6. X

_7. Y MP 3,7
_8. (Z 𝖠 W) MP 4,8
_9. W SIMP 2,9
10. X→W TD 7-10

_11. (B𝖠C) MP1,5

_12. B SIMP
_13. (D𝖠) 1,11
_14. E MP 2,12
SIMP 2,13
_15. (A→E) 𝖠 (X→W) PROD 15,10

2
 lOMoARcPSD|5199421

UNIVERSIDAD POLITECNICA SALESIANA

Ejercicio B:

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

_2. X → (Y 𝖠 W)
_3. X

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

5. B

_6. C

_7. A

_8. [B→(C→D) MP 1,7

_9. (C→D) MP 8,5

10. D MP 6,9

_11. A→D TD7,10

_12. C→(A→D) TD2,3

_13. (Y𝖠W) MP 2,3

_14. Y SIMP 1, 13

_15. (Z𝖠T) MP3,4

_16. Z SIMP 1, 15

_17. (Y𝖠Z) PROD 14,16

_18. [C→A→D) 𝖠 (Y𝖠Z) PROD 12,17

_19. B→{[C→(A→D) 𝖠(Y𝖠Z) TD 5-18

Ejercicio C

_1. (Y 𝖠 Z) → D

Universidad Politécnica Salesiana

3
 lOMoARcPSD|5199421

UNIVERSIDAD POLITECNICA SALESIANA

_ 2. Y 𝖠 Z

_ 3. (Y 𝖠 Z) → T

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

_5. D MP 1,2

_6. T MP 2,3

_7. (D 𝖠 T) PROD 5,6

8. W

_9. Z MP 4,5

_10. Z 𝖠 (P𝖠T) PROD 9,7

_11. W→[ Z𝖠(D𝖠T) TD 8-10

Ejercicio D:

_1. E → (F 𝖠 G)

_ 2. (C 𝖠 A) → B

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

4. E

_5. ( F 𝖠 G) MP 1,4

_6. F

_7. (D 𝖠 C ) 𝖠 A) MP 3,6

_8. (C 𝖠 A) SIMP 2,7

_9. B MP 2,8

_10. (D 𝖠 A ) SIMP 2,7

Universidad Politécnica Salesiana

4
 lOMoARcPSD|5199421

UNIVERSIDAD POLITECNICA SALESIANA

_11. D SIMP 1,10

_12. (D 𝖠 B) PROD 11,9

_13. E→(D𝖠B) TD 4,12

Ejercicio E:

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

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

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

_4. ( ¬ J v ¬ ¬J) SIMP 1,3

_5. ( I 𝖠 H ) MP 1,4

_6. I SIMP 1,5

7. ¬(¬J v ¬ ¬J ) SIMP 2,3

_8. (I 𝖠 K ) MP 2,7

9. K SIMP 2,8 _

10. H SIMP 2,5

_11. I → ( H 𝖠 K ) PROD 10,11

Universidad Politécnica Salesiana

5
 lOMoARcPSD|5199421

UNIVERSIDAD POLITECNICA SALESIANA

Ejercicio 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. Z v A

_5. ( M V N )

_6. U SIMP 1,1

_7. W SIMP 1,2

_8. U 𝖠 W PROD 6,7

_9. (M V N ) → (U 𝖠 W ) PROD 5,8

_10. X SIMP 1,3

_11. Y SIMP 2,4

_12. (X V Y ) PROD 10,11

_13. P SIMP 1,1

14. O SIMP 2,2

_15. (O 𝖠 P) PROD 14,15

_16. {Z V A →[U 𝖠 W ]} 𝖠 [(X V Y ) 𝖠 (O 𝖠 P) ] TD 10-9 PROD 12, 15

EJERCICIO G:

_1. P → Q

_2. Q → (R 𝖠 T)

_3. (R 𝖠 T) → S

Universidad Politécnica Salesiana

6
 lOMoARcPSD|5199421

UNIVERSIDAD POLITECNICA SALESIANA

_4. S → (T v S)

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

_6. (R 𝖠 T) MP 2,5

_7. S MP 3,6

_8. T V S MP 4,7

9. P

_10. Q MP 1, 4

_11. R SIMP 1,6

_12. ( P 𝖠 R ) PROD 9,11

_13. [(P𝖠 R) → (T V S )] 𝖠 Q

Ejercicio 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. (T 𝖠 M )

_6. T SIMP 2, 5

_7. [P → ( ¬ Q v R ) 𝖠 S ] MP 2,6

_8. ( R v S ) → (¬S →(P → R)] MP 3,7

9. [¬S → (P → R) MP 1,8

_10. {(T 𝖠 M) → [ ¬ S→ (P→R)]} TD 5,9

_11. {(T𝖠 M) → [¬ S→ (P→R)]} 𝖠 Q PROD 10,4

Universidad Politécnica Salesiana

7
 lOMoARcPSD|5199421

UNIVERSIDAD POLITECNICA SALESIANA

Ejercicio 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

_6. (Q 𝖠 R) MP 1,6

_7. Q SIMP 1,6

_8. (S v T)→ (R 𝖠 S) MP2,7

_9. W MP 3,8

_10. S SIMP 1,8

_11. (P𝖠S) →(W 𝖠S) TD 6-10 PROD 5,10 9,10

Universidad Politécnica Salesiana

8
 lOMoARcPSD|5199421

UNIVERSIDAD POLITECNICA SALESIANA

EJERCICIO J:

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

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

_3. C

4. B

_5. (B 𝖠 C) MP 3,4

_6. (A 𝖠 C) MP 1,5

_7. C SIMP 2,6

_8. B SIMP 1,5

_9. ( C 𝖠 B ) PROD 7,8

_10. (R 𝖠 S) MP 2,9

_11. S SIMP 2, 10

_12. A SIMP 2,6

_13. (A𝖠S) PROD12,13

_14. B → (A 𝖠 S) TD 4,13

_15. C → [B → (A 𝖠 S)] TD 3, 14

Universidad Politécnica Salesiana

9