Quantificateur existentiel nié en LaTeX (\nexists)

Où il est utilisé

Quantificateur existentiel nié : il n'existe aucun objet ayant la propriété énoncée.

\nexists x \in \mathbb{Q} : x^2 = 2 affirme que 2 n'a pas de racine carrée rationnelle. Le symbole est un \exists barré conçu comme un glyphe unique ; \not\exists fonctionne aussi, mais la barre peut être mal placée. Logiquement, il équivaut à \forall x\, \neg P(x), et de nombreux logiciens préfèrent écrire \neg \exists x par souci de clarté. Ajoutez une petite espace ou un deux-points après la variable liée, comme dans \nexists x \, P(x). Pour l'existence unique, le symbole est \exists!.

Également dans: Quantificateurs

Exemple minimal compilable

Collez-le dans un fichier .tex vide et compilez avec pdfLaTeX, XeLaTeX ou LuaLaTeX.

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

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

Symboles associés

• Négation\neg
• Quantificateur existentiel\exists
• Conjonction logique\land
• Quantificateur universel\forall
• Disjonction logique\lor
• Double flèche vers la droite\Rightarrow

Questions fréquentes

Comment écrire Quantificateur existentiel nié en LaTeX ?

Tapez \nexists en mode mathématique, par exemple $\nexists\, x \in \mathbb{Q} : x^2 = 2$. Chargez d’abord amssymb avec \usepackage{amssymb}.

Quel paquet faut-il pour \nexists ?

\nexists nécessite amssymb : ajoutez \usepackage{amssymb} au préambule avant le début du document.

Peut-on utiliser \nexists en mode texte, ou seulement en mode mathématique ?

Seulement en mode mathématique. Hors de $...$, LaTeX s’arrête avec "Missing $ inserted" : dans le texte, écrivez $\nexists$. Si vous voulez seulement le glyphe dans le texte, collez le caractère Unicode ∄ (avec XeLaTeX ou LuaLaTeX et une police qui le contient).