Negationszeichen
Das Negationszeichen (auch logisches Nicht[1]) „¬“ ist in der Aussagenlogik das Zeichen für die Negation. Manchmal verwendet man auch folgendes Zeichen „~“.
¬ | |
|---|---|
| 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 | ¬ |
Verwendung
Außerhalb der Aussagenlogik:
- In Microsoft Word wird das Zeichen als Visualisierung des bedingten Trennstrichs verwendet.
- 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.[2] Diese Konvention wird auch in einigen Bibliotheksprogrammen übernommen.
In der Aussagenlogik:
- Das Negationszeichen steht für den Term „Es ist nicht so, dass“
- Ein AL-Satz, dessen Hauptjunktor ein Negationszeichen ist, nennen wir die Negation dieses Satzes. ¬p[3]
Darstellung auf Computersystemen
| 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
- 1.1 Die aussagenlogische Sprache mathematik.uni-freiburg.de
- RAK-WB, 2. Auflage, §822
- Stefan Roski: Einführung in die Sprachphilosophie und Logik. Universität des Saarlandes, 2022.
- W3C (World Wide Web Consortium): Character entity references in HTML 4
- Scott Pakin: The Comprehensive LaTeX Symbol List. (PDF; 21 MB) 5. Mai 2021, archiviert vom am 18. Juli 2021; abgerufen am 19. Juli 2021 (englisch, der Originallink führt zu einem Spiegelserver des CTAN; zum Archivlink vergleiche Datei:Comprehensive LaTeX Symbol List.pdf).
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.