Usuario:Rafael~eswikibooks/ejercicio 13

demostrar x diferente 1

1. x=y$\to \;$x=w.............p1
2. x=w$\to \;$x=1.............p2
3. x=0$\to \;$x diferente 1...p3
4. x=y..................................p4

_________________________________________

5. x=w..................................p5 (ponendo ponens p1,p4)

6. x=1..................................p6 (ponendo ponens p2,p5)

7. x diferente 0........................conclusion(tollendo tollens p3,p6)