Negazione dell'antecedente
La negazione dell'antecedente è una fallacia argomentativa di tipo formale, in cui dalla negazione di una premessa si giunge a negare la conclusione.
Esempio:
"Se il gatto dorme i topi ballano. Il gatto non dorme, quindi i topi non ballano."
L'argomento ha il seguente schema logico:
- A B
- ¬ A
- ¬ B
Il ragionamento è chiaramente invalido: i topi potrebbero ballare anche se il gatto è sveglio.
Dal punto di vista formale, è invece corretto che la negazione della conclusione giunga a negare la premessa (regola di inferenza del modus tollens):
"Se il gatto dorme i topi ballano. I topi non ballano, quindi il gatto non dorme."
Voci correlate
- Affermazione del conseguente
- Modus ponens
- Modus tollens
Collegamenti esterni
- (EN) Denial of the antecedent, su Enciclopedia Britannica, Encyclopædia Britannica, Inc.
![](http://upload.wikimedia.org/wikipedia/commons/thumb/f/f5/Owl_of_Minerva.png/21px-Owl_of_Minerva.png)