Modus tollendo tollens: Diferència entre les revisions
De Wiki de Filosofia
| Línia 1: | Línia 1: | ||
| − | En lògica proposicional. forma d'argumentació vàlida que raona que donat un condicional, negant un cas del conseqüent (''tollo'' vol dir negar) es pot negar vàlidament que sigui un cas l'antecedent. Vegeu-ne l'esquema: | + | En lògica proposicional. forma d'[[argumentació]] vàlida que raona que donat un condicional, negant un cas del conseqüent (''tollo'' vol dir negar) es pot negar vàlidament que sigui un cas l'antecedent. Vegeu-ne l'esquema: |
*A → B | *A → B | ||
Revisió del 20:30, 19 nov 2007
En lògica proposicional. forma d'argumentació vàlida que raona que donat un condicional, negant un cas del conseqüent (tollo vol dir negar) es pot negar vàlidament que sigui un cas l'antecedent. Vegeu-ne l'esquema:
- A → B
- ¬ B
- ¬ A
- Si A, llavors B
- No B,
- Per tant, no A
Exemple: Si engego l'ordinador, em distrec; no estic distret, per tant, no he engegat l'ordinador.
