Negationszeichen
(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 | Quelltext 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 | Quelltext 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 | ¬ | \neg
|
Das Zeichen ist mit der gleichen Codierung in ISO 8859-1, -7, -8, -9, -13 und -15 enthalten.
Einzelnachweise
[Bearbeiten | Quelltext bearbeiten]- ↑ 1.1 Die aussagenlogische Sprache mathematik.uni-freiburg.de
- ↑ Stefan Roski: Einführung in die Sprachphilosophie und Logik. Universität des Saarlandes, 2022.
- ↑ RAK-WB, 2. Auflage, §822
- ↑ W3C (World Wide Web Consortium): Character entity references in HTML 4
- ↑ Scott Pakin: The Comprehensive LaTeX Symbol List. (PDF; 31 MB) 3. Januar 2024, archiviert vom 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).