Obligation déontique en LaTeX (O p)

Où il est utilisé

Obligation déontique : O p se lit « il doit être le cas que p » ou « p est obligatoire ».

La logique déontique standard est la logique modale normale KD, avec l'axiome D, O p \to P p, qui exprime la cohérence des obligations, tandis que l'axiome de vérité O p \to p échoue délibérément. Les énigmes des obligations contraires au devoir (contrary-to-duty), comme le paradoxe de Chisholm, montrent ses limites et motivent l'obligation dyadique O(p \mid q). En mode mathématique, O p se compose Op sans espace : écrivez donc O\,p ou utilisez un \mathbf{O} ou \mathsf{O} droit pour éviter qu'il soit lu comme la notation grand O.

Exemple minimal compilable

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

\documentclass{article}
\begin{document}
Deontic Ought: $O p$

\[ \mathsf{O}\,p \to \mathsf{P}\,p \]
\end{document}

Symboles associés

• Permission déontiqueP p
• Monde possiblew
• Modèle de Kripke\mathcal{M}, w \models 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 Obligation déontique en LaTeX ?

Tapez O p en mode mathématique, par exemple $\mathsf{O}\,p \to \mathsf{P}\,p$. La commande fonctionne en LaTeX standard sans charger de paquet.

Quel paquet faut-il pour O p ?

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

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

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