Negationszeichen

Vorlage:Mathematische Zeichen Negationszeichen, auch Nicht-Zeichen oder logisches Nicht<ref>1.1 Die aussagenlogische Sprache mathematik.uni-freiburg.de</ref> 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.<ref></ref>

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.<ref>RAK-WB, 2. Auflage, §822</ref> Diese Konvention wird auch in einigen Bibliotheksprogrammen übernommen.

Darstellung auf Computersystemen

Das Zeichen ist mit der gleichen Codierung in ISO 8859-1, -7, -8, -9, -13 und -15 enthalten.

Einzelnachweise

<references />