Porque hay varias formas de perder la cabeza.
|- (p -> q) \/ (q -> r) usando LEM
| 1. q \/ ¬q | LEM |
| 2. q | premisa temporal |
| 3. p | premisa temporal |
| 4. q | copy 2 |
| 5. p -> q | ->i(3-4) |
| 6. (p -> q) \/ (q -> r) | \/i1(5) |
| 7. ¬q | premisa temporal |
| 8. q | premisa temporal |
| 9. _|_ | ¬e(8,7) |
| 10. r | _|_e(9) |
| 11. q -> r | ->i(8-10) |
| 12. (p -> q) \/ (q -> r) | \/i2(11) |
| 13. (p -> q) \/ (q -> r) | \/e(1,2-6,7-12) |
qed
No hay comentarios:
Publicar un comentario