Erreichbarkeitsrelation in LaTeX (w R v)

Verwendung

Erreichbarkeitsrelation der Kripke-Semantik: w R v bedeutet, dass die Welt v von der Welt w aus erreichbar ist (als möglich gilt).

Eigenschaften von R entsprechen modalen Axiomen: Reflexivität liefert T (\Box p \to p), Transitivität liefert 4 (\Box p \to \Box\Box p), und eine Äquivalenzrelation liefert S5. Die Wahrheit von \Box p in w verlangt p in jedem v mit wRv. Als w R v getippt behandelt TeX R als gewöhnlichen Buchstaben, und die Leerzeichen verschwinden, sodass wRv entsteht; verwenden Sie w \mathrel{R} v für Relationsabstände oder definieren Sie ein Makro. Manche Autoren schreiben stattdessen R(w, v) oder w \to v.

Minimales kompilierbares Beispiel

Fügen Sie dies in eine leere .tex-Datei ein und kompilieren Sie mit pdfLaTeX, XeLaTeX oder 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}

Verwandte Symbole

• Kripke-Modell\mathcal{M}, w \models p
• Next-Operator\bigcirc p
• Mögliche Weltw
• Until-Operatorp \mathcal{U} q
• Deontisches GebotO p
• Irgendwann (temporale Raute)\Diamond p

Häufige Fragen

Wie schreibe ich Erreichbarkeitsrelation in LaTeX?

Schreiben Sie w R v im Mathematikmodus, zum Beispiel $w \mathrel{R} v \land v \models p \implies w \models \Diamond p$. Es funktioniert in Standard-LaTeX, ohne ein Paket zu laden.

Welches Paket brauche ich für w R v?

Keines. w R v gehört zum Standardumfang von LaTeX und kompiliert ohne weitere Angaben in der Präambel außer der Dokumentklasse.

Kann ich w R v im Textmodus verwenden oder nur im Mathematikmodus?

Beides. w R v kompiliert im Fließtext ebenso wie innerhalb von $...$; in einer Formel bleibt es im Mathematikmodus, damit es mathematische Schriften und Abstände erhält.