Loading AI tools
Zeichen für die logische Negation Aus Wikipedia, der freien Enzyklopädie
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.
¬ | |
---|---|
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 | ¬ |
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:
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.
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.