Hoy hemos corregido ejercicios de calculo. Hicimos el siguiente:


1. (p -> ¬ m) -> (s ^ q) |- ¬ r v ¬ t
2. ( t ^ r) -> ¬ p
3. ¬ s v ¬ q

4. ¬ s
|5. r ^t
||6. ¬ p v ¬ m RE -> L.2,5
||7. ¬ p v -> m RI v L.6
||8. p -> ¬ m RDDisy. L.7
||9. s ^q RE -> L.1,8
||10. ¬ (s ^ q) RM1 L.3
||11. ( s ^ q) ^ ¬ (s ^ q) RI ^ L.9,10
|12. ¬ ( r ^ t) RI ¬ L.5,11
|13. ¬ r v ¬ t RM 1 L.12
14. ¬ q
|15. r ^ t
|16. ¬ p RE -> L.2,15
|17. ¬ p v q ¬ m RI Disy. L.6
|18. p -> ¬ m RDDisy. L.7
|19. s ^ q RE -> 1,18
|20. ¬ ( s ^ q) RM1
|21. (s ^ q) ^ ¬ (s ^ q) RI ^ L.1,10
|22. ¬ ( r ^ t) RI ¬ L.10,21
|23. ¬ r v ¬ t RM1
24. ¬ r v ¬ t RE V 3,4,13,14,23

Luego hemos seguido practicando para el examen del viernes.
Clara Noguer García 1º B