258
Aus dem Lateinischen übersetzt heißt „reductio ad absurdum“ „Beweis durch Widerspruch“. Es handelt sich um einen indirekten Beweis, bei dem man eine Aussage nicht direkt herleitet, sondern bei der man ihr kontradiktorisches Gegenteil (d. h. die Annahme, dass die Aussage nicht zutreffe) widerlegt. In der klassischen, zweiwertigen Logik, in der jede Aussage entweder richtig oder falsch ist, ist mit der Widerlegung des Gegenteils, die Richtigkeit der Aussage bewiesen..
