Monde possible en LaTeX (w)

Où il est utilisé

Un monde possible : un point d'un cadre de Kripke en lequel les formules sont évaluées comme vraies ou fausses.

Les mondes sont pris dans un ensemble W, et un cadre est le couple (W, R) muni d'une relation d'accessibilité. Selon la logique, un monde peut représenter l'état d'un programme, un instant dans le temps ou une alternative épistémique. L'usage réserve les minuscules w, v, u aux mondes et w_0 au monde réel. Comme un w italique isolé est très courant, introduisez-le explicitement, et préférez w \in W dans la première formule pour ancrer la lecture.

Exemple minimal compilable

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

\documentclass{article}
\begin{document}
Possible World: $w$

\[ w \in W,\quad \mathcal{M}, w \models p \]
\end{document}

Symboles associés

• Obligation déontiqueO p
• Modèle de Kripke\mathcal{M}, w \models p
• Permission déontiqueP p
• Relation d'accessibilitéw R v
• Opérateur « suivant » (next)\bigcirc p
• Opérateur « jusqu'à » (until)p \mathcal{U} q

Questions fréquentes

Comment écrire Monde possible en LaTeX ?

Tapez w en mode mathématique, par exemple $w \in W,\quad \mathcal{M}, w \models p$. La commande fonctionne en LaTeX standard sans charger de paquet.

Quel paquet faut-il pour w ?

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

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

Les deux. w compile dans le texte comme dans $...$ ; dans une formule, gardez le mode mathématique pour les polices et l’espacement mathématiques.