Négation en LaTeX (\neg)

Où il est utilisé

Signe de négation logique, un crochet en forme de L placé devant une formule pour signifier « non ».

En logique, on écrit \neg p pour « non p », et \neg\neg p \equiv p en logique classique ; \lnot en est un alias exact. Certains textes utilisent plutôt \sim p, une barre supérieure \bar{p} ou p', notamment en algèbre de Boole et en électronique numérique. \neg est un symbole ordinaire : aucune espace n'apparaît entre lui et son opérande, ce qui est le rendu voulu. Les lois de De Morgan, \neg(p \land q) \equiv \neg p \lor \neg q, en sont une formule centrée typique. En programmation, on rencontre aussi bien ! que \lnot.

Également dans: Algèbre booléenne, Informatique

Exemple minimal compilable

Collez-le dans un fichier .tex vide et compilez avec pdfLaTeX, XeLaTeX ou LuaLaTeX.

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

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

Symboles associés

• Conjonction logique\land
• Quantificateur existentiel nié\nexists
• Disjonction logique\lor
• Quantificateur existentiel\exists
• Double flèche vers la droite\Rightarrow
• Quantificateur universel\forall

Questions fréquentes

Comment écrire Négation en LaTeX ?

Tapez \neg en mode mathématique, par exemple $\neg (p \land q) \equiv \neg p \lor \neg q$. La commande fonctionne en LaTeX standard sans charger de paquet.

Quel paquet faut-il pour \neg ?

Aucun. \neg fait partie de LaTeX standard : le préambule n’a besoin que de la classe de document.

Peut-on utiliser \neg en mode texte, ou seulement en mode mathématique ?

Seulement en mode mathématique. Hors de $...$, LaTeX s’arrête avec "Missing $ inserted" : dans le texte, écrivez $\neg$. Si vous voulez seulement le glyphe dans le texte, collez le caractère Unicode ¬ (avec XeLaTeX ou LuaLaTeX et une police qui le contient).