Principe de Preuve Indirecte

Une méthode de démonstration qui établit la vérité d'une proposition P en supposant sa négation ¬P et en dérivant une contradiction ; à partir de cette contradiction on conclut que P doit être vraie (appelée reductio ad absurdum ou preuve par contradiction en logique classique).