Permission déontique en LaTeX (P p)

Où il est utilisé

Permission déontique : P p se lit « p est permis », le dual de l'obligation.

La permission se définit par P p \leftrightarrow \neg O\neg p, et l'interdiction par F p \leftrightarrow O\neg p. En logique déontique standard, toute obligation est permise : O p \to P p. La permission de libre choix, selon laquelle P(p \lor q) devrait impliquer P p, est une énigme connue que le système standard ne valide pas. Un P italique entre en collision avec la notation des probabilités ; beaucoup d'auteurs utilisent donc \mathsf{P} ou \mathbf{P}, et ajoutent \, après pour séparer l'opérateur de la formule.

Exemple minimal compilable

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

\documentclass{article}
\begin{document}
Deontic Permitted: $P p$

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

Symboles associés

• Obligation déontiqueO 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 Permission déontique en LaTeX ?

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

Quel paquet faut-il pour P p ?

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

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

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