En esta clase, nos hemos dedicado a resolver distintos problemas de cálculo, los cuales expongo a continuación:
- En primer lugar hicimos un ejercicio de cálculo:
1.¬ s v ¬ p Premisas
2.q --> ¬ r Premisas |- t --> ¬ ( p v q )
3.t --> ( s ^ r ) Premisas
| 4.t
| 5.s ^ r RE ---> 3 , 4
| 6. r RE ^ 5
| 7. ¬ q RM ¬ 2, 6
| 8. s RE ^ 5
| 9. ¬ p RSD 1,8
| 10. ¬ p ^ ¬ q RI ^ 7, 9
| 11. ¬ ( p v q ) RM2 10
_ _ _ _ _ _ _ _ _ _
12. t --> ¬ ( p v q ) RI --> 4 - 11
- Después hicimos dos ejercicios de formalizar y derivar:
a ) 1. ¬ p --> q Premisas
2. r --> q Premisas |- p ^ ¬ r
3. ¬ q Premisas
4. p RM ¬ 1, 3
5. ¬ r RM ¬ 2, 3
6. p ^ ¬ r RI ^ 4, 5
b ) 1. p --> q Premisas
2. q --> ( ¬ r ^ ¬ s ) Premisas |- ¬ r v s
3. ¬ p --> ¬ q Premisas
4. ¬ q --> ( r ^ s ) Premisas
| 5. ¬ ( ¬ r v ¬ s )
| 6. R ^ ¬ s RDM2 5
| 7. r RE ^ 6
| 8. r v s RI v 7
| 9. ¬ ( ¬ r ^ ¬ s ) R Def v 8
| 10. ¬ q
| 11. r ^ s RE --> 4, 10
| 12. ¬ s RE ^ 6
| 13. s RE ^ 11
| 14. s ^ ¬ s RI ^ 12, 13
_ _ _ _ _ _
15. ¬ r v s RI ¬ 5- 14
Cristina Martínez Paquet
No hay comentarios:
Publicar un comentario