Especial lógica

1º Ley lógica. "Modus pones" (MP)

2º Ley lógica. "Modus tolles" (MT)

3º Ley lógica. "Silogrismo disyuntivo" (SD)

[-- conclusión general

[-- t

-1. p --> ¬q

-2. ¬q --> n

-3. n --> m

-4. m --> ¬r

-5. ¬r --> t

-6 p

7. ¬q MP 1,6

8. n MP 2,7

9. m MP 3,8

10. ¬r MP 4,9

11. t MP 5,10

Mediantes leyes lógicas hemos hayado t, que es la conclusión general.