Deontisches Gebot in LaTeX (O p)

Verwendung

Deontische Verpflichtung: O p wird „es soll der Fall sein, dass p“ oder „p ist geboten“ gelesen.

Die deontische Standardlogik ist die normale Modallogik KD mit dem Axiom D, O p \to P p, das die Widerspruchsfreiheit von Pflichten ausdrückt, während das Wahrheitsaxiom O p \to p bewusst nicht gilt. Contrary-to-Duty-Rätsel wie Chisholms Paradox zeigen ihre Grenzen auf und motivieren die dyadische Verpflichtung O(p \mid q). Im Mathematikmodus wird O p ohne Abstand als Op gesetzt, schreiben Sie daher O\,p oder verwenden Sie ein aufrechtes \mathbf{O} oder \mathsf{O}, damit es nicht als O-Notation gelesen wird.

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}
Deontic Ought: $O p$

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

Verwandte Symbole

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

Häufige Fragen

Wie schreibe ich Deontisches Gebot in LaTeX?

Schreiben Sie O p im Mathematikmodus, zum Beispiel $\mathsf{O}\,p \to \mathsf{P}\,p$. Es funktioniert in Standard-LaTeX, ohne ein Paket zu laden.

Welches Paket brauche ich für O p?

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

Kann ich O p im Textmodus verwenden oder nur im Mathematikmodus?

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