¿Qué es?
No se ha añadido ninguna twiki todavía.
Expresión latina que significa «modo que niega», y en su forma completa de modus tollendo tollens, modo «que niega negando», y que se aplica a la regla de inferencia de lógica de enunciados, que tiene el siguiente esquema:
- Si Dios no existiera todo estaría permitido
- Pero no es verdad que todo esté permitido
- ___________________________________________
- Por tanto, Dios existe (Dostoyevsky)
cuyo esquema lógico es
[math]¬p \rightarrow{q}[/math]
[math]¬q[/math]
__________________________________
[math]p[/math]
