¬
Negationszeichen
- Unicode
- U+00AC
- Kategorie
- Mathematik
- HTML Entity
- ¬
- CSS
- \00AC
Das Negationszeichen (¬) stammt aus der mathematischen Logik und wird verwendet, um eine Aussage zu verneinen. In der Aussagenlogik bedeutet es schlicht „nicht“ – steht es also vor einem Begriff, dreht es dessen Wahrheitswert um. Abseits der Mathematik triffst du das Symbol seltener an; in alten Textverarbeitungsprogrammen markierte es gelegentlich auch einen weichen Zeilenumbruch.
So tippen Sie
- Windows
- Alt+0172
- macOS
- Control+Command+Leertaste, dann nach "not" suchen
- Linux
- Ctrl+Shift+U, dann 00AC
- HTML
- ¬
In der Programmierung
In der Aussagenlogik und theoretischen Informatik steht ¬ als Standardoperator für die logische Verneinung (z. B. ¬A für „nicht A“). Beim tatsächlichen Schreiben von Code nutzen moderne Programmiersprachen dafür allerdings meist das Ausrufezeichen (!) oder die Tilde (~).
Tags
mathematik
logik
nicht
verneinung
boolesch