Permiso deóntico en LaTeX (P p)

Dónde se usa

Permiso deóntico: P p se lee «p está permitido», el dual de la obligación.

El permiso se define como P p \leftrightarrow \neg O\neg p, y la prohibición como F p \leftrightarrow O\neg p. En la lógica deóntica estándar toda obligación está permitida, O p \to P p. El permiso de libre elección, según el cual P(p \lor q) debería implicar P p, es un acertijo conocido que el sistema estándar no valida. Una P cursiva choca con la notación de probabilidad, así que muchos autores usan \mathsf{P} o \mathbf{P}; añade \, tras ella para separar el operador de la fórmula.

Ejemplo mínimo compilable

Pégalo en un archivo .tex vacío y compílalo con pdfLaTeX, XeLaTeX o LuaLaTeX.

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

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

Símbolos relacionados

• Obligación deónticaO p
• Mundo posiblew
• Modelo de Kripke\mathcal{M}, w \models p
• Relación de accesibilidadw R v
• Operador siguiente\bigcirc p
• Operador hastap \mathcal{U} q

Preguntas frecuentes

¿Cómo escribo Permiso deóntico en LaTeX?

Escribe P p en modo matemático, por ejemplo $\mathsf{P}\,p \leftrightarrow \neg \mathsf{O}\,\neg p$. Funciona en LaTeX estándar sin cargar ningún paquete.

¿Qué paquete necesito para P p?

Ninguno. P p forma parte de LaTeX estándar, así que compila solo con la clase de documento en el preámbulo.

¿Puedo usar P p en modo texto o solo en modo matemático?

En ambos. P p compila en el texto y dentro de $...$; en una fórmula déjalo en modo matemático para que use fuentes y espaciado matemáticos.