Pre parcial

Señale los pasos que se han seguido en los siguientes ejercicios para su resolución:

1. DB Paso 4: SH 1,3

2. D  (B  W)
3. B  (W  S) Paso 5: EID 2
4. D  (W  S)
5. ¬D v (B  W) Paso 6: EID5
6. ¬D v (¬B v W)
7. (¬D v ¬B) v W Paso 7: Asoc. 6
8. (¬B v ¬D) v W
9. ¬B v (¬D v W) Paso 8: Conm. 7
10. B  (D  W)
11. D  (D  W) Paso 9: Asoc. 8
12. ¬D v (¬D v W)
13. (¬D v ¬D) v W Paso 10: EID 9
14. ¬D v W
15. DW Paso 11: SH 1,10

Paso 12: EID 11

Paso 13: Asoc. 12

Paso 14: Reit. 13

Paso 15: EID 14

Paso 4: Simp. & 1

1. (A v B) & ¬C
2. ¬C  (D & ¬A) Paso 5: MP 2,4
3. B  (A v E)
4. ¬C Paso 6: Simp. & 1
5. D & ¬A
6. AvB Paso 7: Simp. & 5
7. ¬A
8. B Paso 8: Simp. v 6,7
9. AvE
10. E Paso 9: MP 3,8
11. EvF
Paso 10: Simp. v 9,7

Paso 11: Ad. v 10

1. G  (H & ¬K) Paso 4: DI 2
2. H  (L & I)
3. ¬I v K Paso 5: Simp. & 4
4. [H  (L & I)] & [(L & I)  H]
5. H  (L & I) Paso 6: EID 5
6. ¬H v (L & I)
7. (¬ H v L) & (¬H v I) Paso 7: Dist. 6
8. ¬H v I
9. HI Paso 8: Simp. & 7
10. IK
11. HK Paso 9: EID 8
12. ¬H v K
13. ¬ (H & ¬K) Paso 10: EID 3
14. ¬G
Paso 11: SH 9,10

Paso 12: EID 11

Paso 13: DM 12

Paso 14: MT 1,13

Paso 4: Simp. & 2

1. S  R
2. (P  ¬T) & R Paso 5: DI 1
3. ST
4. R Paso 6: Simp. & 5
5. (S  R) & (R  S)
6. RS Paso 7: MP 6,4
7. S
8. T Paso 8: MP 3,7
9. P  ¬T
10. ¬P Paso 9: Simp. & 2

Paso 10: MT 9,8