Tarea

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

Ejercicios:

A) -1. A → ¬ (Q ∧ R) ∧ B
-2. B → (Q ∧ R)
├ A → [(M v N) → (T v S)]
-3. A
-4. M
-5. M v N Ad 1 4
-6. T
-7. T v S Ad1 6
-8. (M v N) → (T v S) TD 5-7
-9. A → [(M v N) → (T v S)] TD 3-8

B) -1. A v (X ∧ Y)
├ ¬ (A →X)
-2. (X v C) → ¬ (A →X)
-3. ¬ (A →X)
-4. X ∧ C MP 2,3
-5. X
-6. X v C Ad1 5
-7. C
-8. X v C Ad2 7
-9. X v C Cas 4, 5-6, 7-8
-10. ¬ X v C DN 9
-11. (X v C) ∧ ¬ (X v C) Prod 4,10
-12. ¬ (A →X) Abs 3-11

This study source was downloaded by 100000842997340 from CourseHero.com on 12-15-2022 11:05:05 GMT -06:00

https://www.coursehero.com/file/145162470/Formato-Entrega-Tarea-4-Estudiantes-1docx/
 C) -1 P → [(R → Y) V (S ∧ Z)]
êP
-2 (T → W) ∧ U
-3 (R→ Y) → T
-4 (S ∧ Z) → T
-5 W → ~ U
-6. P
-7. (R → Y) v (S ∧ Z) MP 1,6
-8. (R → Y)
-9. T MP 3,8
-10. (S ∧ Z)
-11. T MP 4,10
-12. T Cas 7, 8-9, 10-11
-13. T → W Simp1 2
-14. W MP 13,12
-15. ~ U MP 5,14
-16. U MP 2,13
-17. U ∧ ~ U Prod 16,15
-18. ¬ P Abs 6-17

D) -1 (P → Q) → (¬ ¬ ¬ W ∧ S) ├ W → ¬ (P → Q)

-2 (P v Q) ∧ W
-3. W
-4. P → Q
-5. ¬ ¬ ¬ W ∧ S MP 1,4
-6. ¬ ¬ ¬ W Simp1 5
-7. ¬ W DN 6
-8. W ∧ ¬ W PROD 3,7
-9. ¬ (P → Q) Abs 4-8
-10. W → ¬ (P → Q) TD 3-9

This study source was downloaded by 100000842997340 from CourseHero.com on 12-15-2022 11:05:05 GMT -06:00
2

https://www.coursehero.com/file/145162470/Formato-Entrega-Tarea-4-Estudiantes-1docx/
 E) - 1 D v A → ¬ ((C v E) → D) ├ ¬ ((C v E) → D)
- 2 (C v E) v (A ∧ B)
-3. (C v E) → D
-4. C v E
-5. D MP 3,4
-6. D v A Ad1 5
-7. A ∧ B
-8. A Simp1 7
-9. D v A Ad 1 8
-10. D v A Cas 2, 4-6, 7-9
-11. ¬ ((C v E) → D) MP 1,10
-12. ((C v E) → D) ∧ ¬ ((C v E) → D) PROD 3,11
-13. ¬ ((C v E) → D) Abs 3-12

F) - 1 J → ((K → N) ∧ L)
├ H v Q → (K → N)
-2H→IvJ
- 3 Q → (J ∧ (K → N))
- 4 I → (K → N)
-5. H  Q
-6. H
-7. I  J MP 2,6
-8. I
-9. K → N MP 4,8
-10. J
-11. (K → N ) ∧ L MP 1,10
-12. K → N Simp1 11
-13. K → N Cas 7, 8-9, 10-12
-14. Q
-15. J ∧ (K → N) MP 3,14
-16. K → N Simp2 15

This study source was downloaded by 100000842997340 from CourseHero.com on 12-15-2022 11:05:05 GMT -06:00
3

https://www.coursehero.com/file/145162470/Formato-Entrega-Tarea-4-Estudiantes-1docx/
 -17. K → N Cas 5, 6-13, 14-17
-18. H v Q → (K → N) TD 5-17

G) - 1 (F v G) → (C ∧ E)
- 2 (((A → B) ∧ B) → C) ∧ ¬ (C v D) ├ (A → B) → ((B v F) → G)
-3. A → B
-4. B v F
-5. (((A → B) ∧ B) → C) Simp1 2

-6. ¬ (C v D) Simp2 2
-7. B
-8. (A → B) ∧ B PROD 3,7
-9. C MP 5,8
-10. F
-11. F v G Ad1 10
-12. C v E MP 1,11
-13. C Simp1 12
-14. C Cas 4, 7-9, 10-13
-15. C v D Ad1 14
-16. ¬ G
-17. (C v D) ∧ ¬ (C v D) PROD 6,15
-18. ¬ ¬ G Abs 16-17
-19. G DN 16
-20. (B v F) → G TD 4-19
-21. (A → B) → ((B v F) → G) TD 3-20

H) -1 H → A
├ C → S ˄A
-2 ¬ ¬ E ˄¬ ¬ (¬ ¬ S ˄H)
-3. C
-4. ¬ ¬ (¬ ¬ S
Simp2 2
˄H)
-5. S ˄H DN 4

This study source was downloaded by 100000842997340 from CourseHero.com on 12-15-2022 11:05:05 GMT -06:00
4
https://www.coursehero.com/file/145162470/Formato-Entrega-Tarea-4-Estudiantes-1docx/
 -6. S Simp1 5
-7. H Simp2 5
-8. A MP 1,7
-9. S ˄A PROD 5,8
-10. C → S
TD 3-9
˄A

This study source was downloaded by 100000842997340 from CourseHero.com on 12-15-2022 11:05:05 GMT -06:00
5
https://www.coursehero.com/file/145162470/Formato-Entrega-Tarea-4-Estudiantes-1docx/