Drittausschlußsatz

Drittausschluß–Satz

Satz vom ausgeschlossenen Dritten (lat. principium exclusi tertii)

Ebenfalls auf Aristoteles zurückgeführt, besagt der Satz vom ausgeschlossenen Dritten, dass die Disjunktion einer Aussage und ihrer Negation stets eine gültige Aussage, also eine Tautologie ist. Dieser Satz ist verwandt, aber nicht identisch mit dem Prinzip der Zweiwertigkeit. Eine Logik, die dem Satz vom ausgeschlossenen Dritten folgt und in der Schlüsse erlaubt sind, die dem disjunktiven Syllogismus entsprechen, ist notwendig zweiwertig.