Beweis Durch Widerspruch

Eine Form des indirekten Beweises in der klassischen Logik, die die Wahrheit einer Aussage P dadurch begründet, dass man deren Negation (¬P) annimmt, aus dieser Annahme einen Widerspruch oder eine explizite Falschheit ableitet und daraus folgert, dass ¬P unhaltbar ist und daher P innerhalb des gewählten logischen Rahmens gilt.