Negationszeichen

¬
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

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

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

  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; 32,2 MB) 3. Januar 2024; (englisch, Informationen zur Datei in Wikimedia Commons).

Content Disclaimer

Informasi ini disarikan dari Wikipedia dan disajikan kembali untuk tujuan edukasi. Konten tersedia di bawah lisensi CC BY-SA 3.0. Kami tidak bertanggung jawab atas ketidakakuratan data yang bersumber dari kontribusi publik tersebut.

  1. The information displayed on this website is sourced in part or in whole from Wikipedia and has been adapted for the purpose of restating it. We strive to provide accurate and relevant information, however:
  2. There is no guarantee of absolute accuracy. Wikipedia is an open, collaborative project that can be edited by anyone, so information is subject to change.
  3. It is not intended to constitute professional advice. The content displayed is for informational and educational purposes only. For important decisions (e.g., medical, legal, or financial), please consult a professional.
  4. Content copyright. Wikipedia is licensed under the Creative Commons Attribution-ShareAlike License (CC BY-SA). This means that content may be reused with appropriate attribution and shared under a similar license.
  5. Responsible use. Any risk arising from the use of information from this website is entirely the responsibility of the user.