Kripke-Modell in LaTeX (\mathcal{M}, w \models p)

Verwendung

Erfüllung in einem Kripke-Modell: Die Formel p ist in der Welt w des Modells \mathcal{M} wahr.

Ein Kripke-Modell \mathcal{M} = (W, R, V) besteht aus Welten, einer Erreichbarkeitsrelation und einer Bewertung, und Wahrheit wird Welt für Welt definiert, etwa \mathcal{M}, w \models \Box p genau dann, wenn p in allen R-Nachfolgern gilt. \models ist eine Relation mit passenden Abständen; \vDash ergibt ein ähnliches Doppel-Drehkreuz, und seine Negationen sind \not\models oder \nvDash. Verwenden Sie nicht \vdash, das Beweisbarkeit statt Wahrheit bedeutet. Ist das Modell fest, kürzen Autoren zu w \models p oder w \Vdash p ab.

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}
\begin{document}
Kripke Model: $\mathcal{M}, w \models p$

\[ \mathcal{M}, w \models \Box p \iff \forall v\,(wRv \Rightarrow v \models p) \]
\end{document}

Verwandte Symbole

• Mögliche Weltw
• Erreichbarkeitsrelationw R v
• Deontisches GebotO p
• Next-Operator\bigcirc p
• Deontische ErlaubnisP p
• Until-Operatorp \mathcal{U} q

Häufige Fragen

Wie schreibe ich Kripke-Modell in LaTeX?

Schreiben Sie \mathcal{M}, w \models p im Mathematikmodus, zum Beispiel $\mathcal{M}, w \models \Box p \iff \forall v\,(wRv \Rightarrow v \models p)$. Es funktioniert in Standard-LaTeX, ohne ein Paket zu laden.

Welches Paket brauche ich für \mathcal{M}, w \models p?

Keines. \mathcal{M}, w \models p gehört zum Standardumfang von LaTeX und kompiliert ohne weitere Angaben in der Präambel außer der Dokumentklasse.

Kann ich \mathcal{M}, w \models p im Textmodus verwenden oder nur im Mathematikmodus?

Nur im Mathematikmodus. Außerhalb von $...$ bricht LaTeX mit "Missing $ inserted" ab, schreiben Sie im Fließtext also $\mathcal{M}, w \models p$.