Obrigação deôntica em LaTeX (O p)

Onde é usado

Obrigação deôntica: O p se lê "deve ser o caso que p" ou "p é obrigatório".

A lógica deôntica padrão é a lógica modal normal KD, com o axioma D, O p \to P p, que diz que as obrigações são consistentes, enquanto o axioma da verdade O p \to p falha de propósito. Enigmas de deveres contrários, como o paradoxo de Chisholm, mostram seus limites e motivam a obrigação diádica O(p \mid q). No modo matemático, O p sai como Op sem espaço, então escreva O\,p ou use um \mathbf{O} ou \mathsf{O} reto para que não seja lido como a notação O grande.

Exemplo mínimo compilável

Cole isto em um arquivo .tex vazio e compile com pdfLaTeX, XeLaTeX ou LuaLaTeX.

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

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

Símbolos relacionados

• Permissão deônticaP p
• Mundo possívelw
• Modelo de Kripke\mathcal{M}, w \models p
• Relação de acessibilidadew R v
• Operador próximo\bigcirc p
• Operador atép \mathcal{U} q

Perguntas frequentes

Como escrever Obrigação deôntica em LaTeX?

Digite O p no modo matemático, por exemplo $\mathsf{O}\,p \to \mathsf{P}\,p$. Funciona no LaTeX padrão sem carregar nenhum pacote.

Qual pacote é necessário para O p?

Nenhum. O p faz parte do LaTeX padrão, então compila só com a classe do documento no preâmbulo.

Posso usar O p no modo texto ou só no modo matemático?

Nos dois. O p compila no texto corrido e dentro de $...$; em uma fórmula, mantenha-o no modo matemático para que use as fontes e o espaçamento matemáticos.