Negationszeichen
Zeichen für die logische Negation
¬
| |
|---|---|
| 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
BearbeitenIn 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 | ¬ | \neg
|
 – ?
|
Das Zeichen ist mit der gleichen Codierung in ISO 8859-1, -7, -8, -9, -13 und -15 enthalten.
Einzelnachweise
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).