Negação em LaTeX (\neg)

Onde é usado

Sinal de negação lógica, um gancho em forma de L colocado antes de uma fórmula para significar “não”.

A lógica escreve \neg p para “não p” e \neg\neg p \equiv p na lógica clássica; \lnot é um sinônimo exato. Alguns textos usam \sim p, uma barra superior \bar{p} ou p', sobretudo em álgebra booleana e em circuitos digitais. \neg é um símbolo comum, então não aparece espaço entre ele e o operando, que é o efeito desejado. As leis de De Morgan, \neg(p \land q) \equiv \neg p \lor \neg q, são uma fórmula típica em destaque. Em contextos de programação, aparecem tanto ! quanto \lnot.

Também aparece em: Álgebra Booleana, Ciência da Computação

Exemplo mínimo compilável

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

\documentclass{article}
\begin{document}
Negation: $\neg$

\[ \neg (p \land q) \equiv \neg p \lor \neg q \]
\end{document}

Símbolos relacionados

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

Perguntas frequentes

Como escrever Negação em LaTeX?

Digite \neg no modo matemático, por exemplo $\neg (p \land q) \equiv \neg p \lor \neg q$. Funciona no LaTeX padrão sem carregar nenhum pacote.

Qual pacote é necessário para \neg?

Nenhum. \neg faz parte do LaTeX padrão, então compila só com a classe do documento no preâmbulo.

Posso usar \neg 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 $\neg$. Se você só precisa do glifo no texto, cole o caractere Unicode ¬ (com XeLaTeX ou LuaLaTeX e uma fonte que o tenha).