Negationszeichen

Zeichen für die logische Negation
(Weitergeleitet von ¬)
¬
Mathematische Zeichen
Arithmetik
Pluszeichen +
Minuszeichen −, ⁒
Malzeichen ⋅, ×
Geteiltzeichen :, ÷, /
Plusminuszeichen ±, ∓
Vergleichszeichen <, ≤, =, ≥, >
Wurzelzeichen
Prozentzeichen %
Analysis
Summenzeichen Σ
Produktzeichen Π
Differenzzeichen, Nabla ∆, ∇
Prime
Partielles Differential
Integralzeichen
Verkettungszeichen
Unendlichzeichen
Geometrie
Winkelzeichen ∠, ∡, ∢, ∟
Senkrecht, Parallel ⊥, ∥
Dreieck, Viereck △, □
Durchmesserzeichen
Mengenlehre
Vereinigung, Schnitt ∪, ∩
Differenz, Komplement ∖, ∁
Elementzeichen
Teilmenge, Obermenge ⊂, ⊆, ⊇, ⊃
Leere Menge
Logik
Folgepfeil ⇒, ⇔, ⇐
Allquantor
Existenzquantor
Konjunktion, Disjunktion ∧, ∨
Negationszeichen ¬

Negationszeichen, auch Nicht-Zeichen oder logisches Nicht[1] genannt, sind in der Logik formale Zeichen für die Darstellung der Negation. Neben dem klassischen Zeichen „¬“ in der Aussagenlogik werden zur Notation manchmal auch die Zeichen „~“ oder „!“ verwendet.

Verwendung

Bearbeiten

In der Aussagenlogik steht das Negationszeichen für den Term „Es ist nicht so, dass _“ und ein aussagelogischer Satz ¬p, dessen Hauptjunktor ein Negationszeichen ist, wird Negation des Satzes p genannt.[2]

Das Zeichen „¬“ wird außerhalb der Aussagenlogik auch mit abweichender Bedeutung verwendet:

  • In Microsoft Word dient es zur Visualisierung des bedingten Trennstrichs.
  • In den Regeln für die alphabetische Katalogisierung wird das Zeichen als Nichtsortierzeichen verwendet, das für eine alphabetische Ordnung nicht zu berücksichtigende Wörter (z. B. Artikel) einschließt. So wird ¬Der¬ Herr der Ringe unter H wie Herr einsortiert und nicht unter D wie Der.[3] Diese Konvention wird auch in einigen Bibliotheksprogrammen übernommen.

Darstellung auf Computersystemen

Bearbeiten
Zeichen Unicode
Codepunkt verlinkt auf den Unicodeblock
Bezeichnung Dezimal-
code
HTML-
Entität
[4]
LaTeX[5] Tastatureingabe
mit Belegung E1
¬ U+00AC not sign Nicht-Zeichen 0172 &not; \neg  ?

Das Zeichen ist mit der gleichen Codierung in ISO 8859-1, -7, -8, -9, -13 und -15 enthalten.

Einzelnachweise

Bearbeiten
  1. 1.1 Die aussagenlogische Sprache mathematik.uni-freiburg.de
  2. Stefan Roski: Einführung in die Sprachphilosophie und Logik. Universität des Saarlandes, 2022.
  3. RAK-WB, 2. Auflage, §822
  4. W3C (World Wide Web Consortium): Character entity references in HTML 4
  5. Scott Pakin: The Comprehensive LaTeX Symbol List. (PDF; 31 MB) 3. Januar 2024, archiviert vom Original am 8. April 2024; abgerufen am 8. April 2024 (englisch, der Originallink führt zu einem Spiegelserver des CTAN; zum Archivlink vergleiche Datei:Comprehensive LaTeX Symbol List.pdf).