Permesso deontico in LaTeX (P p)

Dove si usa

Permesso deontico: P p si legge "p è permesso", il duale dell'obbligo.

Il permesso è definito come P p \leftrightarrow \neg O\neg p, e il divieto come F p \leftrightarrow O\neg p. Nella logica deontica standard ogni obbligo è permesso, O p \to P p. Il permesso di libera scelta, in cui P(p \lor q) dovrebbe implicare P p, è un rompicapo noto che il sistema standard non convalida. Una P corsiva si scontra con la notazione della probabilità, quindi molti autori usano \mathsf{P} o \mathbf{P}; aggiungete \, dopo di essa per separare l'operatore dalla formula.

Esempio minimo compilabile

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

\documentclass{article}
\begin{document}
Deontic Permitted: $P p$

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

Simboli correlati

• Obbligo deonticoO 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 Permesso deontico in LaTeX?

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

Quale pacchetto serve per P p?

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

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

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