Negazione in LaTeX (\neg)

Dove si usa

Segno di negazione logica, un uncino a forma di L posto davanti a una formula per indicare «non».

In logica si scrive \neg p per «non p» e, nella logica classica, \neg\neg p \equiv p; \lnot è un alias esatto. Alcuni testi usano invece \sim p, una sopralineatura \bar{p} oppure p', specie in algebra di Boole e nei circuiti digitali. \neg è un simbolo ordinario, quindi tra esso e il suo operando non compare spazio, che è proprio l'effetto voluto. Le leggi di De Morgan, \neg(p \land q) \equiv \neg p \lor \neg q, ne sono un tipico esempio in display. In contesti di programmazione si vedono sia ! sia \lnot.

Compare anche in: Algebra booleana, Informatica

Esempio minimo compilabile

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

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

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

Simboli correlati

• Congiunzione logica\land
• Quantificatore esistenziale negato\nexists
• Disgiunzione logica\lor
• Quantificatore esistenziale\exists
• Freccia doppia a destra\Rightarrow
• Quantificatore universale\forall

Domande frequenti

Come si scrive Negazione in LaTeX?

Scrivi \neg in modalità matematica, per esempio $\neg (p \land q) \equiv \neg p \lor \neg q$. Funziona in LaTeX standard senza caricare alcun pacchetto.

Quale pacchetto serve per \neg?

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

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

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