Obbligo deontico in LaTeX (O p)

Dove si usa

Obbligo deontico: O p si legge "deve essere che p" oppure "p è obbligatorio".

La logica deontica standard è la logica modale normale KD, con l'assioma D, O p \to P p, che afferma che gli obblighi sono coerenti, mentre l'assioma di verità O p \to p viene deliberatamente escluso. I rompicapi degli obblighi riparatori, come il paradosso di Chisholm, ne mostrano i limiti e motivano l'obbligo diadico O(p \mid q). In modalità matematica O p viene composto come Op senza spazio, quindi scrivete O\,p oppure usate una \mathbf{O} o una \mathsf{O} dritta, per evitare che venga letta come notazione O grande.

Esempio minimo compilabile

Incollalo in un file .tex vuoto e compilalo con pdfLaTeX, XeLaTeX o LuaLaTeX.

\documentclass{article}
\begin{document}
Deontic Ought: $O p$

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

Simboli correlati

• Permesso deonticoP p
• Mondo possibilew
• Modello di Kripke\mathcal{M}, w \models p
• Relazione di accessibilitàw R v
• Operatore next\bigcirc p
• Operatore untilp \mathcal{U} q

Domande frequenti

Come si scrive Obbligo deontico in LaTeX?

Scrivi O p in modalità matematica, per esempio $\mathsf{O}\,p \to \mathsf{P}\,p$. Funziona in LaTeX standard senza caricare alcun pacchetto.

Quale pacchetto serve per O p?

Nessuno. O p fa parte di LaTeX standard, quindi compila con la sola classe del documento nel preambolo.

Posso usare O p in modalità testo o solo in modalità matematica?

Entrambe. O p compila nel testo e dentro $...$; in una formula lascialo in modalità matematica, così usa i font e la spaziatura matematici.