Modus tolendo tollens
Modus tollens (Latín: modo que niega) es el nombre formal para la prueba indirecta.
Si P, entonces Q.
Q es falso.
Por lo tanto, P es falso.
Ejemplo:
Si llueve voy al cine
No fui al cine
Por lo tanto, no llovió
Enciclopedia Universal.
2012.