Satz vom Widerspruch
Der Satz vom Widerspruch ist die analoge Umkehrung des Satzes vom ausgeschlossenen Dritten.Er besagt, daß eine Aussage nicht gleichzeitig mit ihrem Gegenteil wahr sein kann. In der Aussagenlogik wird dieser Satz durch die Formel:
a ∧ ¬a = 0
ausgedrückt.
Aristoteles formuliert in seiner Metaphysik:
"Doch das sicherste Prinzip von allen ist das, bei dem eine Täuschung unmöglich ist (...) Welches das aber ist wollen wir nun angeben: Denn es ist unmöglich, dass dasselbe demselben in derselben Beziehung zugleich zukomme und nicht zukomme.(...) Doch wir haben eben angenommmen, es sei unmöglich, dass etwas zugleich sei und nicht sei." (Metaphysik/1005b)
Siehe auch: Liste von Gleichungen