Relation d'accessibilité en LaTeX (w R v)

Où il est utilisé

Relation d'accessibilité de la sémantique de Kripke : w R v signifie que le monde v est accessible (considéré comme possible) depuis le monde w.

Les propriétés de R correspondent aux axiomes modaux : la réflexivité donne T (\Box p \to p), la transitivité donne 4 (\Box p \to \Box\Box p), et une relation d'équivalence donne S5. La vérité de \Box p en w exige p en tout v tel que wRv. Saisi sous la forme w R v, TeX traite R comme une lettre ordinaire et les espaces disparaissent, ce qui produit wRv ; utilisez w \mathrel{R} v pour l'espacement d'une relation, ou définissez une macro. Certains auteurs écrivent plutôt R(w, v) ou w \to v.

Exemple minimal compilable

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

\documentclass{article}
\usepackage{amssymb,amsmath}
\begin{document}
Accessibility: $w R v$

\[ w \mathrel{R} v \land v \models p \implies w \models \Diamond p \]
\end{document}

Symboles associés

• Modèle de Kripke\mathcal{M}, w \models p
• Opérateur « suivant » (next)\bigcirc p
• Monde possiblew
• Opérateur « jusqu'à » (until)p \mathcal{U} q
• Obligation déontiqueO p
• Opérateur « finalement » (losange temporel)\Diamond p

Questions fréquentes

Comment écrire Relation d'accessibilité en LaTeX ?

Tapez w R v en mode mathématique, par exemple $w \mathrel{R} v \land v \models p \implies w \models \Diamond p$. La commande fonctionne en LaTeX standard sans charger de paquet.

Quel paquet faut-il pour w R v ?

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

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

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