title: Négation de l'antécédent
text: # Négation de l'antécédent
  
  La négation de l'antécédent est un sophisme ou un paralogisme formel. Il s'exprime :
  
  * Si P alors Q
  * Il est faux que P
  * Donc il est faux que Q
  
  Voici un exemple interprété :
  
  * S'il a plu (P) alors le sol est mouillé (Q)
  * Il n'a pas plu (il est faux que P)
  * 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.
  
  