LaTeX 中的信念算子（B_a p）

用途

信念算子：B_a p 读作“主体 a 相信 p”，与知识不同，信念可以是假的。

信念逻辑通常采用 KD45：一致性公理 B_a p \to \neg B_a\neg p 以及两条内省公理，但没有真理公理，因此 B_a p \to p 不成立。知识与信念之间的联系 K_a p \to B_a p 是常用的桥接原则。信念修正方面的论文用 B_a(p \mid q) 表示条件信念。与 K_a 一样，如果斜体 B 另有他用，可以考虑使用正体 \mathsf{B}，并且不要把它与表示一般必然算子的方框 \Box 混淆。

最小可编译示例

将其粘贴到空白 .tex 文件中，用 pdfLaTeX、XeLaTeX 或 LuaLaTeX 编译。

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

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

相关符号

• 公共知识C_G p
• 知识算子K_a p
• 总是算子（时序方框）\Box p
• 合取的可能性\Diamond(p \land q)
• 最终算子（时序菱形）\Diamond p
• 必然蕴涵（严格蕴涵）\Box(p \to q)

常见问题

如何在 LaTeX 中输入信念算子？

在数学模式中输入 B_a p，例如 $B_a p \to \neg B_a \neg p$。无需加载任何宏包即可在标准 LaTeX 中使用。

B_a p 需要哪个宏包？

不需要。B_a p 是标准 LaTeX 的一部分，导言区只需文档类即可编译。

B_a p 能在文本模式中使用，还是只能用于数学模式？

只能用于数学模式。在 $...$ 之外，LaTeX 会报错 "Missing $ inserted"，所以在正文中请写 $B_a p$。