⊬
Mathematischer Operator 169
- Unicode
- U+22AC
- Kategorie
- Mathematik
- HTML Entity
- ⊬
- CSS
- \22AC
Das Symbol ⊬ (Unicode: U+22AC) steht in der mathematischen Logik für „beweist nicht“ oder „ist nicht ableitbar“. Es ist die durchgestrichene Version des Ableitungszeichens (⊢) und drückt aus, dass eine bestimmte Aussage nicht logisch aus vorgegebenen Prämissen gefolgert werden kann. Du findest dieses Zeichen fast ausschließlich in formalen Beweisen, der theoretischen Informatik und der analytischen Philosophie.
So tippen Sie
- Windows
- Alt + 8876 (auf dem Ziffernblock)
- macOS
- Control + Command + Space, dann nach „does not prove“ suchen
- Linux
- Strg + Shift + U, dann 22ac eingeben und Enter drücken
- HTML
- ⊬ oder ⊬
In der Programmierung
In der regulären Programmierung wird ⊬ kaum genutzt. Es taucht primär im wissenschaftlichen Schriftsatz auf, beispielsweise in LaTeX über den Befehl `\nvdash`, um formale Logiksysteme und Beweisketten zu dokumentieren.
Tags
mathematik
logik
nicht beweisbar
negation
turnstile