Operador de conhecimento em LaTeX (K_a p)

Onde é usado

Operador epistêmico de conhecimento: K_a p se lê "o agente a sabe que p".

A lógica epistêmica costuma modelar o conhecimento com S5: o axioma da verdade K_a p \to p, a introspecção positiva K_a p \to K_a K_a p e a introspecção negativa. Semanticamente, K_a p vale quando p é verdadeiro em todo mundo que o agente a não consegue distinguir do mundo real. O dual \hat{K}_a p ou M_a p significa que a considera p possível. Use um K reto, \mathsf{K}_a ou \mathrm{K}_a, se o K itálico conflitar com a lógica chamada K, e escreva nomes de agentes com várias letras como \text{Alice} no índice.

Exemplo mínimo compilável

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

\documentclass{article}
\begin{document}
Knows: $K_a p$

\[ K_a p \to p,\quad K_a p \to K_a K_a p \]
\end{document}

Símbolos relacionados

• Operador de crençaB_a p
• Conjunção possível\Diamond(p \land q)
• Conhecimento comumC_G p
• Implicação necessária\Box(p \to q)
• Sempre (caixa temporal)\Box p
• Impossibilidade\neg\Diamond

Perguntas frequentes

Como escrever Operador de conhecimento em LaTeX?

Digite K_a p no modo matemático, por exemplo $K_a p \to p,\quad K_a p \to K_a K_a p$. Funciona no LaTeX padrão sem carregar nenhum pacote.

Qual pacote é necessário para K_a p?

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

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

Só no modo matemático. Fora de $...$ o LaTeX para com "Missing $ inserted", então no texto escreva $K_a p$.