Modus tollens
De Wikisofia
La revisió el 09:39, 5 feb 2015 per Sofibot (discussió | contribucions) (Es crea la pàgina amb «{{ConcepteWiki}} Expressió llatina que significa «manera que nega», i en la seva forma completa de ''modus tollendo tollens'', manera «que nega negant», i que s'...».)
La revisió el 09:39, 5 feb 2015 per Sofibot (discussió | contribucions) (Es crea la pàgina amb «{{ConcepteWiki}} Expressió llatina que significa «manera que nega», i en la seva forma completa de ''modus tollendo tollens'', manera «que nega negant», i que s'...».)
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:
![5021.png](/w/images/d/dc/5021.png)
- 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]