Ésta podría ser una edición anterior y no la más reciente o aprobada. Ir a la versión actual.
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:
