Mögliche Welt in LaTeX (w)

Verwendung

Eine mögliche Welt: ein Punkt in einem Kripke-Rahmen, an dem Formeln als wahr oder falsch ausgewertet werden.

Welten stammen aus einer Menge W, und ein Rahmen ist das Paar (W, R) mit einer Erreichbarkeitsrelation. Je nach Logik kann eine Welt für einen Programmzustand, einen Zeitpunkt oder eine epistemische Alternative stehen. Üblich sind kleine Buchstaben w, v, u für Welten und w_0 für die tatsächliche Welt. Da ein bloßes kursives w so häufig vorkommt, führen Sie es ausdrücklich ein und schreiben Sie in der ersten Formel am besten w \in W, um die Lesart festzulegen.

Minimales kompilierbares Beispiel

Fügen Sie dies in eine leere .tex-Datei ein und kompilieren Sie mit pdfLaTeX, XeLaTeX oder LuaLaTeX.

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

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

Verwandte Symbole

• Deontisches GebotO p
• Kripke-Modell\mathcal{M}, w \models p
• Deontische ErlaubnisP p
• Erreichbarkeitsrelationw R v
• Next-Operator\bigcirc p
• Until-Operatorp \mathcal{U} q

Häufige Fragen

Wie schreibe ich Mögliche Welt in LaTeX?

Schreiben Sie w im Mathematikmodus, zum Beispiel $w \in W,\quad \mathcal{M}, w \models p$. Es funktioniert in Standard-LaTeX, ohne ein Paket zu laden.

Welches Paket brauche ich für w?

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

Kann ich w im Textmodus verwenden oder nur im Mathematikmodus?

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