Modus tollendo tollens
De Wiki de Filosofia
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.
