Expressió llatina que significa «mode que nega», i en la seva forma completa de modus tollendo tollens, mode «que nega negant», i que s’aplica a la regla d’inferència de lògica d'enunciats, que té l’esquema següent:
| Si P, llavors Q | P®Q | ||
| No Q | ¬Q | ||
| ____________, | ____ | ||
| Per tant, no P | ¬P |
Exemple:
Si Déu no existís tot estaria permès
Però no és veritat que tot estigui permès
____________________________________
Per tant, Déu existeix (Dostoyevsky)
l’esquema lògic del qual és:
Aquesta obra està sota una llicència de Creative Commons.