Modus tollendo tollens
De Wiki de Filosofia
La revisió el 20:11, 19 nov 2007 per Jordi Beltran (Discussió | contribucions)
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.
