Modus tollendo tollens: Diferència entre les revisions

De Wiki de Filosofia
Dreceres ràpides: navegació, cerca
 
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.