Permissão deôntica em LaTeX (P p)

Onde é usado

Permissão deôntica: P p se lê "p é permitido", o dual da obrigação.

A permissão é definida como P p \leftrightarrow \neg O\neg p, e a proibição como F p \leftrightarrow O\neg p. Na lógica deôntica padrão, toda obrigação é permitida, O p \to P p. A permissão de livre escolha, em que P(p \lor q) deveria implicar P p, é um enigma conhecido que o sistema padrão não valida. Um P itálico colide com a notação de probabilidade, por isso muitos autores usam \mathsf{P} ou \mathbf{P}; acrescente \, depois dele para separar o operador da fórmula.

Exemplo mínimo compilável

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

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

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

Símbolos relacionados

• Obrigação deônticaO 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 Permissão deôntica em LaTeX?

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

Qual pacote é necessário para P p?

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

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

Nos dois. P 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.