Datos del alumno Fecha

Nombres: Camila Patricia

11/17/2023
Apellidos: Lituma Parra

Desarrollo de la Actividad
Práctica: Desarrollo de ejercicios con cálculo de enunciados (MP, TD, Simp, Prod)

Descripción 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:

5. A

6. B 𝖠 C MP 1 y 5

7. B Simp 6

8. D 𝖠 E MP 2 y 7

9. E Simp 8

10. A → E TD 5 y 9

11. X

12. Y MP 3 y 11

13. Z 𝖠 W MP 4 y 12

14. W Simp 13

15. X → W TD 11 y 14

16. (A → E) 𝖠 (X → W) Prod 10 y 15
 Datos del alumno Fecha

Nombres: Camila Patricia

11/17/2023
Apellidos: Lituma Parra

5. Y 𝖠 W MP 2 y 3

6. Y Simp 5

7. Z 𝖠 T MP 4 y 3

8. Z Simp 7

9. Y 𝖠 Z Prod 6 y 8

10. A

11. B → (C → D) MP 1 y 10

12. B

13. C → D MP 11 y 12

14. C

15. D MP 13 y 14

16. A → D TD 10 y 15

17. C → (A → D) TD 14 y 16

18. [C → (A → D)] 𝖠 (Y 𝖠 Z) TD 17 y 9

19. B → {[C → (A → D)] 𝖠 (Y 𝖠 Z)} TD 12 y 18

 Datos del alumno Fecha

Nombres: Camila Patricia

11/17/2023
Apellidos: Lituma Parra

5. D MP 1 y 2

6. T MP 3 y 2

7. D 𝖠 T Prod 5 y 6

8. W

9. Z MP 4 y 8

10. Z 𝖠 (D 𝖠 T) Prod 9 y 7

11. W → [Z 𝖠 (D 𝖠 T)] TD 8 y 10
 Datos del alumno Fecha

Nombres: Camila Patricia

11/17/2023
Apellidos: Lituma Parra

4. E

5. F 𝖠 G MP 1 y 4

6. F Simp 5

7. (D 𝖠 C) 𝖠 A MP 3 y 6

8. D 𝖠 C Simp 7

9. A Simp 7

10. D Simp 8

11. C Simp 8

12. C 𝖠 A Prod 11 y 9

13. B MP 2 y 12

14. D 𝖠 B Prod 10 y 13

15. E → (D 𝖠 B) TD 4 y 14
 Datos del alumno Fecha

Nombres: Camila Patricia

11/17/2023
Apellidos: Lituma Parra

4. ¬ J v ¬ ¬ J MP 1 y 4

5. I 𝖠 H Simp 5

6. I Simp 5

7. H Simp 3

8. ¬ (¬ J v ¬ ¬ J) MP 2 y 8

9. I 𝖠 K Simp 9

10. K Prod 7 y 10

11. H 𝖠 K TD 6 y 11

12. I → (H 𝖠 K)

4. Z∨A Simp 4

5. [(M∨N)→(U∧W)] MP 6 y 4

6. X∨Y Simp 5

7. O∧P Simp 5

8. M∨N MP 8 y 3

9. U∧W MP 10 y 7

10. {Z∨A→[(M∨N)→(U∧W)]}∧[(X∨Y)∧(O∧P)]
 Datos del alumno Fecha

Nombres: Camila Patricia

11/17/2023
Apellidos: Lituma Parra

6. P

7. R 𝖠 T MP 2 y 5

8. R Simp 7

9. S MP 3 y 7

10. T v S MP 4 y 9

11. (T v S) 𝖠 Q Prod 10 y 5

12. P 𝖠 R Prod 6 y 8

13. [(P 𝖠 R) → [(T v S)] 𝖠 Q] MP 12 y 11

 Datos del alumno Fecha

Nombres: Camila Patricia

11/17/2023
Apellidos: Lituma Parra

5. S→(P→R) MP 3 y 1

6. T→[P→(¬Q∨R)] Simp 2

7. P→(¬Q∨R) MP 6

8. S MP 5 y 1

9. P→R MP 5 y 8

10. Q∨R MP 7

11. T∧M MP 6

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

5. P

6. Q 𝖠 R MP 1 y 5

7. Q Simp 6

8. [(S v T) → (R 𝖠 S)] MP 2 y 7

9. W MP 3 y 8

10. P 𝖠 S Prod 5 y 4

11. W 𝖠 S Prod 9 y 4

12. (P 𝖠 S) → (W 𝖠 S) TD 10 y 11
Nombre de la Institución Educativa

3. B 𝖠 C

4. A 𝖠 C MP 1 y 3

5. B Simp 3

6. C Simp 3

7. A Simp 4

8. C 𝖠 B Prod 6 y 5

9. R 𝖠 S MP 2 y 8

10. S Simp 9

11. A 𝖠 S Prod 7 y 10

12. B → (A 𝖠 S) TD 5 y 11

13. C → [B → (A 𝖠 S)] TD 6 y 12

Universidad Politécnica Salesiana

8