Négation de l'antécédent

Cet article est une ébauche concernant la logique.

Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.

La négation de l'antécédent est un sophisme ou un paralogisme formel. Il s'exprime :

  1. Si P alors Q
  2. Il est faux que P
  3. Donc il est faux que Q

Voici un exemple interprété :

  1. S'il a plu (P) alors le sol est mouillé (Q)
  2. Il n'a pas plu (il est faux que P)
  3. Donc le sol n'est pas mouillé (il est faux que Q)

Ce raisonnement est bien sûr faux, parce que le sol peut être mouillé car on l'a arrosé sans qu'il pleuve.

Voir aussi

Articles connexes

  • Affirmation du conséquent, sophisme de forme proche
  • Modus tollens, raisonnement valide de forme approchante
  • Modus ponens, raisonnement valide de forme approchante
  • icône décorative Portail de la logique
  • icône décorative Portail de la philosophie