Das Symbol ⊭: Bedeutung und Herkunft des „Nicht wahr“-Zeichens

Das Symbol ⊭ (Unicode-Name: Not True / Nicht wahr) ist ein mathematischer Operator aus der formalen Logik. Es bedeutet „impliziert nicht“ oder „ist kein Modell von“ und wird verwendet, um zu zeigen, dass eine bestimmte Aussage nicht zwingend aus einer vorherigen Annahme folgt. Wenn du dieses Zeichen in einem Text siehst, drückt der Autor aus, dass eine logische Schlussfolgerung ungültig ist.

Logiker und Mathematiker lieben präzise Abkürzungen. Das ursprüngliche Turnstile-Symbol (⊢) wurde bereits Ende des 19. Jahrhunderts vom Philosophen Gottlob Frege eingeführt. Später kam das Doppel-Turnstile (⊨) für die semantische Implikation dazu. Setzt man einen diagonalen Strich hindurch (⊭), kehrt man die Bedeutung logisch um – aus „wahr“ wird „nicht wahr“. Im Unicode-Standard findest du das Zeichen unter dem Codepoint U+22AD im Block „Mathematische Operatoren“ (Mathematical Operators).

In der Mathematik, theoretischen Informatik und Philosophie begegnet dir ⊭ vor allem in formalen Beweisen und der Modelltheorie. Es drückt aus, dass eine bestimmte Struktur oder Interpretation eine Formel nicht erfüllt. In der alltäglichen Kommunikation oder auf Social Media taucht es praktisch nie auf – es sei denn, du willst einem Kumpel mit einem extrem nerdigen Witz klarmachen, dass seine Argumentation völlig unlogisch ist. In der Programmierung wird das Symbol selten direkt im Code verwendet, da Entwickler auf leichter tippbare Alternativen wie `!=` oder spezifische Assert-Funktionen zurückgreifen.

Da ⊭ auf keiner Standardtastatur abgedruckt ist, brauchst du Tastenkombinationen oder Codes, um es einzufügen:
• Windows: Tippe in Textverarbeitungsprogrammen wie Word `22AD` und drücke danach `Alt + C`.
• Mac: Öffne die Zeichenübersicht (`Cmd + Ctrl + Leerzeichen`) und suche nach „not true“.
• HTML: Verwende den Code `⊭`.
• LaTeX: Hier ist das Zeichen alltäglich. Du erzeugst es mit dem Befehl `\nvDash` (dafür benötigst du das `amssymb`-Paket).

Das Symbol ⊭ gehört zu einer größeren Familie von logischen Zeichen und sollte nicht mit seinen Verwandten verwechselt werden. Sein direkter Gegenspieler ist das nicht-durchgestrichene ⊨ (Modell von / Impliziert). Optisch sehr ähnlich ist zudem das einfache, durchgestrichene Turnstile ⊬ (Beweist nicht, U+22AC). Während sich ⊭ auf die Wahrheit und Bedeutung von Aussagen (Semantik) bezieht, geht es bei ⊬ um die rein mechanische, formale Ableitbarkeit (Syntax) – ein Unterschied, der für Mathematiker enorm wichtig ist.