Accions

Modus tollens

De Wikisofia

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:

[math]\displaystyle{ P \rightarrow{Q} }[/math]

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

_________________

[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

[math]\displaystyle{ ¬p \rightarrow{q} }[/math]

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

__________________________________

[math]\displaystyle{ p }[/math]