Cuantificador existencial negado en LaTeX (\nexists)

Dónde se usa

Cuantificador existencial negado: no existe ningún objeto con la propiedad indicada.

\nexists x \in \mathbb{Q} : x^2 = 2 afirma que 2 no tiene raíz cuadrada racional. El símbolo es un \exists tachado diseñado como un único glifo; \not\exists también funciona, pero la barra puede quedar mal colocada. Lógicamente equivale a \forall x\, \neg P(x), y muchos lógicos prefieren escribir \neg \exists x por claridad. Añade un espacio pequeño o dos puntos tras la variable ligada, como en \nexists x \, P(x). Para la existencia única el símbolo es \exists!.

También aparece en: Cuantificadores

Ejemplo mínimo compilable

Pégalo en un archivo .tex vacío y compílalo con pdfLaTeX, XeLaTeX o LuaLaTeX.

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

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

Símbolos relacionados

• Negación\neg
• Cuantificador existencial\exists
• Conjunción lógica\land
• Cuantificador universal\forall
• Disyunción lógica\lor
• Flecha doble a la derecha\Rightarrow

Preguntas frecuentes

¿Cómo escribo Cuantificador existencial negado en LaTeX?

Escribe \nexists en modo matemático, por ejemplo $\nexists\, x \in \mathbb{Q} : x^2 = 2$. Carga antes amssymb con \usepackage{amssymb}.

¿Qué paquete necesito para \nexists?

\nexists necesita amssymb: añade \usepackage{amssymb} al preámbulo antes de que empiece el documento.

¿Puedo usar \nexists en modo texto o solo en modo matemático?

Solo en modo matemático. Fuera de $...$ LaTeX se detiene con "Missing $ inserted", así que en el texto escribe $\nexists$. Si solo necesitas el glifo en el texto, pega el carácter Unicode ∄ (con XeLaTeX o LuaLaTeX y una fuente que lo tenga).