Cuantificador existencial en LaTeX (\exists)

Dónde se usa

Da el cuantificador existencial ∃, que se lee «existe» o «para algún».

\exists afirma que al menos un elemento cumple una propiedad, como en \exists x \in \mathbb{R} : x^2 = 2. La unicidad se escribe \exists! (existe exactamente uno), y \nexists da el símbolo negado, «no existe». Al igual que \forall, es un símbolo ordinario, así que inserta un espacio fino o dos puntos después de la variable ligada para facilitar la lectura. El orden de los cuantificadores importa: \forall x\, \exists y difiere de \exists y\, \forall x, así que mantenlos en la secuencia deseada. En la escritura de lógica formal, los paréntesis alrededor del alcance, \exists x\,(P(x)), evitan ambigüedades.

También aparece en: Lógica y Demostraciones, 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}
Exists: $\exists$

\[ \exists!\, x \in \mathbb{R} : x^3 = 8 \]
\end{document}

Símbolos relacionados

• Pertenencia\in
• Cuantificador universal\forall
• No pertenencia\notin
• Equivalencia (si y solo si)\iff
• Subconjunto\subset
• Implicación\implies

Preguntas frecuentes

¿Cómo escribo Cuantificador existencial en LaTeX?

Escribe \exists en modo matemático, por ejemplo $\exists!\, x \in \mathbb{R} : x^3 = 8$. Funciona en LaTeX estándar sin cargar ningún paquete.

¿Qué paquete necesito para \exists?

Ninguno. \exists forma parte de LaTeX estándar, así que compila solo con la clase de documento en el preámbulo.

¿Puedo usar \exists 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 $\exists$. Si solo necesitas el glifo en el texto, pega el carácter Unicode ∃ (con XeLaTeX o LuaLaTeX y una fuente que lo tenga).