Preuve par l'Absurde

Une forme de démonstration indirecte en logique classique qui établit la vérité d'une proposition P en supposant sa négation (¬P), en déduisant de cette supposition une contradiction ou une falsité explicite, puis en concluant que ¬P est intenable et que P doit être retenue dans le cadre logique adopté.