Operatore di credenza in LaTeX (B_a p)

Dove si usa

Operatore di credenza: B_a p si legge "l'agente a crede che p", e a differenza della conoscenza può essere falso.

La logica doxastica usa tipicamente KD45: la coerenza B_a p \to \neg B_a\neg p ed entrambi gli assiomi di introspezione, ma nessun assioma di verità, quindi B_a p \to p non vale. Il legame tra conoscenza e credenza K_a p \to B_a p è un comune principio ponte. Gli articoli sulla revisione delle credenze scrivono B_a(p \mid q) per la credenza condizionata. Come per K_a, valutate una \mathsf{B} dritta se la B corsiva è usata per altro, e non confondetela con il quadrato \Box, che è l'operatore generico di necessità.

Esempio minimo compilabile

Incollalo in un file .tex vuoto e compilalo con pdfLaTeX, XeLaTeX o LuaLaTeX.

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

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

Simboli correlati

• Conoscenza comuneC_G p
• Operatore di conoscenzaK_a p
• Operatore temporale "sempre"\Box p
• Congiunzione possibile\Diamond(p \land q)
• Operatore temporale "prima o poi"\Diamond p
• Implicazione necessaria\Box(p \to q)

Domande frequenti

Come si scrive Operatore di credenza in LaTeX?

Scrivi B_a p in modalità matematica, per esempio $B_a p \to \neg B_a \neg p$. Funziona in LaTeX standard senza caricare alcun pacchetto.

Quale pacchetto serve per B_a p?

Nessuno. B_a p fa parte di LaTeX standard, quindi compila con la sola classe del documento nel preambolo.

Posso usare B_a p in modalità testo o solo in modalità matematica?

Solo in modalità matematica. Fuori da $...$ LaTeX si ferma con "Missing $ inserted", quindi nel testo scrivi $B_a p$.