Quantificador existencial negado em LaTeX (\nexists)

Onde é usado

Quantificador existencial negado: não existe objeto com a propriedade enunciada.

\nexists x \in \mathbb{Q} : x^2 = 2 afirma que 2 não tem raiz quadrada racional. O símbolo é um \exists cortado, desenhado como um glifo único; \not\exists também funciona, mas o traço pode ficar mal posicionado. Logicamente equivale a \forall x\, \neg P(x), e muitos lógicos preferem escrever \neg \exists x por clareza. Acrescente um pequeno espaço ou dois-pontos depois da variável ligada, como em \nexists x \, P(x). Para a existência única, o símbolo é \exists!.

Também aparece em: Quantificadores

Exemplo mínimo compilável

Cole isto em um arquivo .tex vazio e compile com pdfLaTeX, XeLaTeX ou LuaLaTeX.

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

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

Símbolos relacionados

• Negação\neg
• Quantificador existencial\exists
• Conjunção lógica\land
• Quantificador universal\forall
• Disjunção lógica\lor
• Seta dupla para a direita\Rightarrow

Perguntas frequentes

Como escrever Quantificador existencial negado em LaTeX?

Digite \nexists no modo matemático, por exemplo $\nexists\, x \in \mathbb{Q} : x^2 = 2$. Carregue antes amssymb com \usepackage{amssymb}.

Qual pacote é necessário para \nexists?

\nexists precisa de amssymb: adicione \usepackage{amssymb} ao preâmbulo antes do início do documento.

Posso usar \nexists no modo texto ou só no modo matemático?

Só no modo matemático. Fora de $...$ o LaTeX para com "Missing $ inserted", então no texto escreva $\nexists$. Se você só precisa do glifo no texto, cole o caractere Unicode ∄ (com XeLaTeX ou LuaLaTeX e uma fonte que o tenha).