Quelltext der Seite Negationszeichen

{{Mathematische Zeichen|¬}}
Das '''Negationszeichen''' (auch logisches Nicht<ref>[http://home.mathematik.uni-freiburg.de/junker/ws16/Skript-Kapitel1.pdf 1.1  Die aussagenlogische Sprache] mathematik.uni-freiburg.de</ref>) „¬“ ist in der [[Aussagenlogik]] das Zeichen für die [[Negation]].
<!-- == Geschichte und Entstehung == -->
<!-- == Typografie und Aussehen == -->
== Verwendung ==
Außerhalb der Aussagenlogik:
* In [[Microsoft Word]] wird das Zeichen als Visualisierung des [[Bedingter Trennstrich|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.&nbsp;B. Artikel) einschließt. So wird ''¬Der¬ Herr der Ringe'' unter H wie ''Herr'' einsortiert und nicht unter D wie ''Der''.<ref>[https://d-nb.info/986402338/34 RAK-WB, 2. Auflage], §822</ref> Diese Konvention wird auch in einigen Bibliotheksprogrammen übernommen.

== Darstellung auf Computersystemen ==

{{Zeichentab/Kopf |SpalteBez=Bezeichnung}}
{{Zeichentab |00AC |not sign |html=not |latex=neg |e1={{Extra-Wahltaste}} – {{Taste|?}} |text=Nicht-Zeichen }}
{{Zeichentab/Ende}}

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

== Einzelnachweise ==
<references />

[[Kategorie:Mathematisches Zeichen]]