S. f. (Logique) sorte de démonstration, par laquelle on prouve la vérité d'une proposition, en faisant voir que la proposition contraire est absurde (Voyez DEMONSTRATION) ; d'où vient qu'on l'appelle aussi reductio ad impossibile, ou ad absurdum. Voyez REDUCTION. (O)