Négation de la possibilité en LaTeX (\neg\Diamond)

Où il est utilisé

Possibilité niée : \neg\Diamond p affirme que p est impossible, ce qui équivaut à \Box\neg p.

L'impossibilité est la nécessité de la négation, \neg\Diamond p \leftrightarrow \Box\neg p, et elle est vraie en un monde lorsqu'aucun monde accessible ne satisfait p. Une contradiction est impossible dans toute logique modale normale : \neg\Diamond\bot. Les lectures épistémiques disent qu'un agent considère p comme exclu. La commande \neg peut être remplacée par \lnot, au rendu identique. Évitez d'improviser un losange barré avec \not\Diamond, conçu pour les relations et qui place mal la barre. Faire entrer la négation, \Diamond\neg p, change le sens : p pourrait être faux.

Exemple minimal compilable

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

\documentclass{article}
\usepackage{amssymb}
\begin{document}
Not Possible: $\neg\Diamond$

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

Symboles associés

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

Questions fréquentes

Comment écrire Négation de la possibilité en LaTeX ?

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

Quel paquet faut-il pour \neg\Diamond ?

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

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