Modus tollens

Expressió llatina que significa «manera que nega», i en la seva forma completa de modus tollendo tollens, manera «que nega negant», i que s'aplica a la regla d'inferència de lògica d'enunciats, que té el següent esquema:

Si P, llavors Q No Q _____________________ No P

El seu esquema lògic és:

$P\to Q$

$\neg Q$

__________________________

[math]\displaystyle{ ¬P }[/math] 

veg. 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

$\neg p\to q$

$\neg q$

__________________________________

$p$