Modus tollendo tollens: Diferència entre les revisions
De Wiki de Filosofia
| (Una revisió intermèdia per un altre usuari que no es mostra) | |||
| 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 | ||
| Línia 10: | Línia 10: | ||
Exemple: Si engego l'ordinador, em distrec; no estic distret, per tant, no he engegat l'ordinador. | Exemple: Si engego l'ordinador, em distrec; no estic distret, per tant, no he engegat l'ordinador. | ||
| + | |||
| + | |||
| + | [[Categoria:Lògica]] | ||
Revisió de 00:52, 29 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.
