Diferència entre revisions de la pàgina «Modus tollens»
De Wikisofia
m (Text de reemplaçament - "inferència, regles de" a "inferència, regles d'") |
m (Text de reemplaçament - "File:i" a "File:e") |
||
| Línia 27: | Línia 27: | ||
<math>p</math> | <math>p</math> | ||
| − | [[File: | + | [[File:e5021-1.gif]] |
</div></div> | </div></div> | ||
Revisió del 15:40, 25 abr 2015
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:
Amplia
veure exemple ↓
