Négation de la nécessité en LaTeX (\neg\Box)

Où il est utilisé

Nécessité niée : \neg\Box p affirme que p n'est pas nécessaire, ce qui équivaut à \Diamond\neg p.

La dualité \neg\Box p \leftrightarrow \Diamond\neg p permet de faire rentrer les négations, à la manière modale des lois de De Morgan pour les quantificateurs. Sémantiquement, la formule est vraie en un monde lorsqu'un monde accessible rend p faux. \neg est un symbole ordinaire, donc \neg\Box p se compose serré ; écrivez \lnot si vous préférez, c'est un alias. Il n'existe pas de commande standard unique pour une boîte barrée, et un glyphe combiné dérouterait les lecteurs : gardez la forme à deux symboles. En lecture épistémique, \neg K_a p dit que l'agent ne sait pas p, ce qui est plus faible que savoir \neg p.

Exemple minimal compilable

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

\documentclass{article}
\usepackage{amssymb}
\begin{document}
Not Necessary: $\neg\Box$

\[ \neg \Box p \leftrightarrow \Diamond \neg p \]
\end{document}

Symboles associés

• Négation de la possibilité\neg\Diamond
• Opérateur de possibilité\Diamond
• Implication nécessaire\Box(p \to q)
• D'alembertien\Box
• Conjonction possible\Diamond(p \land q)
• Opérateur de connaissanceK_a p

Questions fréquentes

Comment écrire Négation de la nécessité en LaTeX ?

Tapez \neg\Box en mode mathématique, par exemple $\neg \Box p \leftrightarrow \Diamond \neg p$. Chargez d’abord amssymb avec \usepackage{amssymb}.

Quel paquet faut-il pour \neg\Box ?

\neg\Box nécessite amssymb : ajoutez \usepackage{amssymb} au préambule avant le début du document.

Peut-on utiliser \neg\Box 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\Box$.