Diferència entre revisions de la pàgina «Modus tollens»
De Wikisofia
| Línia 20: | Línia 20: | ||
<math>¬P</math> | <math>¬P</math> | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
{{Etiqueta | {{Etiqueta | ||
Revisió de 12:15, 9 feb 2020
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]