Le raisonnement par l'absurde (ou apagogie) est un raisonnement qui permet de démontrer qu'une affirmation est vraie en montrant que son contraire est faux.
Il s'appuie sur la règle logique que : Si "non P" est faux, alors P est vraie.
Cette démarche est celle du raisonnement par l'absurde.
Il semble que le premier rai- sonnement par l'absurde est celui tenu par Hippasus de Metaponte, vers 430 av.
J-C, pour démontrer l'incommensurabilité de la diagonale et du côté du carré.
Pour faire une démonstration par l'absurde, il faut d'abord supposer le contraire de ce qu'il faut démontrer et ensuite montrer que cette hypothèse entraîne une contradiction.
Dans un raisonnement par l'absurde, il faut expliquer pourquoi la contradiction trouvée est effectivement une contradiction.