Elementares Wort!
man stelle sich vor: X ist so, oder ist _nicht_ so, ist quasie das Beispiel für eine Tautologie!
Wenn man sich mal die Rolle dieser für die Semantik der Logik vor Augen führt. Wittgenstein schrieb sogar einmal, das Kalkül werde nur verwendet, eine Tautologie als solche zu ermitteln, wo der Weg über Wahrheitstabellen zu lang wäre.

Schon den alten (das ist nicht selbstverständlich!) Griechen war diese Tatsache bekannt. Parmenides von Elea schrieb beispielsweise, dass es klar sei, dass das Nicht sein nicht ist und das sein ist. Allerdings wird auch immer wieder dieses kritisiert. Da das »nicht« keineswegs eindeutig ist. So wird der tertium non datur bisweilen bestritten. Mauthner wendete sich einmal gegen das Prizip vom ausgeschlossenen Widerspruch, da es »nicht einmal mehr eine Tautologie« sei.