Negation in LaTeX (\neg)

Verwendung

Das logische Negationszeichen, ein L-förmiger Haken vor einer Formel, bedeutet „nicht“.

In der Logik schreibt man \neg p für „nicht p“, und in der klassischen Logik gilt \neg\neg p \equiv p; \lnot ist ein exakter Alias. Manche Texte verwenden stattdessen \sim p, einen Überstrich \bar{p} oder p', besonders in der Booleschen Algebra und bei digitalen Schaltungen. \neg ist ein gewöhnliches Symbol, daher erscheint zwischen ihm und seinem Operanden kein Abstand, was genau das gewünschte Schriftbild ist. Die De-Morganschen Gesetze, \neg(p \land q) \equiv \neg p \lor \neg q, sind ein typisches Beispiel für eine abgesetzte Formel. In Programmierkontexten sieht man sowohl ! als auch \lnot.

Auch aufgeführt unter: Boolesche Algebra, Informatik

Minimales kompilierbares Beispiel

Fügen Sie dies in eine leere .tex-Datei ein und kompilieren Sie mit pdfLaTeX, XeLaTeX oder LuaLaTeX.

\documentclass{article}
\begin{document}
Negation: $\neg$

\[ \neg (p \land q) \equiv \neg p \lor \neg q \]
\end{document}

Verwandte Symbole

• Konjunktion (logisches Und)\land
• Negierter Existenzquantor\nexists
• Disjunktion (logisches Oder)\lor
• Existenzquantor\exists
• Doppelpfeil nach rechts\Rightarrow
• Allquantor\forall

Häufige Fragen

Wie schreibe ich Negation in LaTeX?

Schreiben Sie \neg im Mathematikmodus, zum Beispiel $\neg (p \land q) \equiv \neg p \lor \neg q$. Es funktioniert in Standard-LaTeX, ohne ein Paket zu laden.

Welches Paket brauche ich für \neg?

Keines. \neg gehört zum Standardumfang von LaTeX und kompiliert ohne weitere Angaben in der Präambel außer der Dokumentklasse.

Kann ich \neg im Textmodus verwenden oder nur im Mathematikmodus?

Nur im Mathematikmodus. Außerhalb von $...$ bricht LaTeX mit "Missing $ inserted" ab, schreiben Sie im Fließtext also $\neg$. Wenn Sie nur das Zeichen im Text brauchen, fügen Sie stattdessen das Unicode-Zeichen ¬ ein (mit XeLaTeX oder LuaLaTeX und einer Schrift, die es enthält).