Opérateur de possibilité en LaTeX (\Diamond)

Où il est utilisé

Opérateur de possibilité : \Diamond p se lit « possiblement p » et est vrai en un monde si p est vrai dans au moins un monde accessible.

C'est le dual de la nécessité, \Diamond p \leftrightarrow \neg\Box\neg p, et dans le système T on a p \to \Diamond p. La logique temporelle le lit « finalement » (à un moment futur), et la logique dynamique écrit \langle a \rangle p pour la même idée. \Diamond est un grand symbole ordinaire ; \diamond est un petit opérateur binaire et \lozenge un losange étroit : ne les intervertissez pas. TeX traite \Diamond comme un symbole ordinaire, donc \Diamond p se compose sans espace ; ajoutez \, uniquement si votre charte typographique le demande.

Exemple minimal compilable

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

\documentclass{article}
\usepackage{amssymb}
\begin{document}
Possibly: $\Diamond$

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

Symboles associés

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

Questions fréquentes

Comment écrire Opérateur de possibilité en LaTeX ?

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

Quel paquet faut-il pour \Diamond ?

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

Peut-on utiliser \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 $\Diamond$. Si vous voulez seulement le glyphe dans le texte, collez le caractère Unicode ◊ (avec XeLaTeX ou LuaLaTeX et une police qui le contient).