Obligación deóntica en LaTeX (O p)

Dónde se usa

Obligación deóntica: O p se lee «debe ser que p» o «p es obligatorio».

La lógica deóntica estándar es la lógica modal normal KD, con el axioma D, O p \to P p, que dice que las obligaciones son consistentes, mientras que el axioma de verdad O p \to p falla deliberadamente. Los acertijos de deberes contrarios, como la paradoja de Chisholm, muestran sus límites y motivan la obligación diádica O(p \mid q). En modo matemático O p se compone como Op sin espacio, así que escribe O\,p o usa una \mathbf{O} o \mathsf{O} recta para que no se lea como la notación O grande.

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

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

Símbolos relacionados

• Permiso deónticoP 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 Obligación deóntica en LaTeX?

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

¿Qué paquete necesito para O p?

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

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

En ambos. O 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.