Diferència entre revisions de la pàgina «Modus tollens»
De Wikisofia
m (Text de reemplaçament - "File:i" a "File:e") |
m (bot: -veure exemple +veg. exemple) |
||
| Línia 6: | Línia 6: | ||
<div class='mw-collapsible mw-collapsed'> | <div class='mw-collapsible mw-collapsed'> | ||
| − | <center>''' | + | <center>'''veg. exemple ↓'''</center> |
<div class="mw-collapsible-content"> | <div class="mw-collapsible-content"> | ||
:Si Déu no existís tot estaria permès | :Si Déu no existís tot estaria permès | ||
Revisió del 11:57, 22 ago 2017
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 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]
