Negierter Existenzquantor in LaTeX (\nexists)

Verwendung

Negierter Existenzquantor: Es gibt kein Objekt mit der angegebenen Eigenschaft.

\nexists x \in \mathbb{Q} : x^2 = 2 besagt, dass 2 keine rationale Quadratwurzel hat. Das Zeichen ist ein durchgestrichenes \exists, als eigenständige Glyphe gestaltet; \not\exists funktioniert auch, doch der Schrägstrich sitzt dabei womöglich falsch. Logisch ist es äquivalent zu \forall x\, \neg P(x), und viele Logiker schreiben der Klarheit halber lieber \neg \exists x. Setzen Sie nach der gebundenen Variablen einen kleinen Abstand oder einen Doppelpunkt, wie in \nexists x \, P(x). Für eindeutige Existenz lautet das Symbol \exists!.

Auch aufgeführt unter: Quantoren

Minimales kompilierbares Beispiel

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

\documentclass{article}
\usepackage{amssymb}
\begin{document}
Not Exists: $\nexists$

\[ \nexists\, x \in \mathbb{Q} : x^2 = 2 \]
\end{document}

Verwandte Symbole

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

Häufige Fragen

Wie schreibe ich Negierter Existenzquantor in LaTeX?

Schreiben Sie \nexists im Mathematikmodus, zum Beispiel $\nexists\, x \in \mathbb{Q} : x^2 = 2$. Laden Sie zuerst amssymb mit \usepackage{amssymb}.

Welches Paket brauche ich für \nexists?

\nexists benötigt amssymb: Fügen Sie \usepackage{amssymb} in die Präambel ein, bevor das Dokument beginnt.

Kann ich \nexists 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 $\nexists$. 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).