Quantificatore esistenziale in LaTeX (\exists)

Dove si usa

Produce il quantificatore esistenziale ∃, letto «esiste» o «per qualche».

\exists afferma che almeno un elemento soddisfa una proprietà, come in \exists x \in \mathbb{R} : x^2 = 2. L'unicità si scrive \exists! (esiste esattamente uno), e \nexists dà il simbolo negato per «non esiste». Come \forall è un simbolo ordinario, quindi inserite uno spazio sottile o i due punti dopo la variabile vincolata per leggibilità. L'ordine dei quantificatori conta: \forall x\, \exists y è diverso da \exists y\, \forall x, quindi mantenetelo nella sequenza voluta. Nella scrittura logica formale, le parentesi attorno al campo d'azione, \exists x\,(P(x)), evitano ambiguità.

Compare anche in: Logica e dimostrazioni, Quantificatori

Esempio minimo compilabile

Incollalo in un file .tex vuoto e compilalo con pdfLaTeX, XeLaTeX o LuaLaTeX.

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

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

Simboli correlati

• Appartenenza\in
• Quantificatore universale\forall
• Non appartenenza\notin
• Equivalenza (se e solo se)\iff
• Sottoinsieme\subset
• Implicazione\implies

Domande frequenti

Come si scrive Quantificatore esistenziale in LaTeX?

Scrivi \exists in modalità matematica, per esempio $\exists!\, x \in \mathbb{R} : x^3 = 8$. Funziona in LaTeX standard senza caricare alcun pacchetto.

Quale pacchetto serve per \exists?

Nessuno. \exists fa parte di LaTeX standard, quindi compila con la sola classe del documento nel preambolo.

Posso usare \exists in modalità testo o solo in modalità matematica?

Solo in modalità matematica. Fuori da $...$ LaTeX si ferma con "Missing $ inserted", quindi nel testo scrivi $\exists$. Se ti serve solo il glifo nel testo, incolla invece il carattere Unicode ∃ (con XeLaTeX o LuaLaTeX e un font che lo contenga).