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