Deontische Erlaubnis in LaTeX (P p)

Verwendung

Deontische Erlaubnis: P p wird „p ist erlaubt“ gelesen, das Dual der Verpflichtung.

Erlaubnis ist definiert als P p \leftrightarrow \neg O\neg p, und Verbot als F p \leftrightarrow O\neg p. In der deontischen Standardlogik ist jede Verpflichtung erlaubt, O p \to P p. Die freie Wahlerlaubnis, bei der P(p \lor q) P p implizieren sollte, ist ein bekanntes Rätsel, das das Standardsystem nicht validiert. Ein kursives P kollidiert mit der Notation für Wahrscheinlichkeiten, daher verwenden viele Autoren \mathsf{P} oder \mathbf{P}; fügen Sie danach \, ein, um den Operator von der Formel zu trennen.

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 Permitted: $P p$

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

Verwandte Symbole

• Deontisches GebotO 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 Deontische Erlaubnis in LaTeX?

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

Welches Paket brauche ich für P p?

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

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

Beides. P 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.