Operador de crença em LaTeX (B_a p)

Onde é usado

Operador de crença: B_a p se lê "o agente a acredita que p", o que, ao contrário do conhecimento, pode ser falso.

A lógica doxástica costuma usar KD45: a consistência B_a p \to \neg B_a\neg p e os dois axiomas de introspecção, mas sem o axioma da verdade, de modo que B_a p \to p falha. A ligação entre conhecimento e crença, K_a p \to B_a p, é um princípio-ponte comum. Artigos sobre revisão de crenças escrevem B_a(p \mid q) para crença condicional. Assim como com K_a, considere um \mathsf{B} reto se o B itálico for usado para outra coisa, e não o confunda com a caixa \Box, que é o operador genérico de necessidade.

Exemplo mínimo compilável

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

\documentclass{article}
\begin{document}
Believes: $B_a p$

\[ B_a p \to \neg B_a \neg p \]
\end{document}

Símbolos relacionados

• Conhecimento comumC_G p
• Operador de conhecimentoK_a p
• Sempre (caixa temporal)\Box p
• Conjunção possível\Diamond(p \land q)
• Em algum momento (losango temporal)\Diamond p
• Implicação necessária\Box(p \to q)

Perguntas frequentes

Como escrever Operador de crença em LaTeX?

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

Qual pacote é necessário para B_a p?

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

Posso usar B_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 $B_a p$.