LaTeX 中的道义义务算子（O p）

用途

道义义务：O p 读作“应当 p”或“p 是义务性的”。

标准道义逻辑是正规模态逻辑 KD，其公理 D 为 O p \to P p，表示义务之间是一致的，而真理公理 O p \to p 被刻意排除。齐硕姆悖论等反义务谜题揭示了它的局限，并促使人们引入二元义务 O(p \mid q)。在数学模式中 O p 会排成没有空格的 Op，因此请写 O\,p，或使用正体 \mathbf{O} 或 \mathsf{O}，以免被读成大 O 记号。

最小可编译示例

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

\documentclass{article}
\begin{document}
Deontic Ought: $O p$

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

相关符号

• 道义允许算子P p
• 可能世界w
• 克里普克模型\mathcal{M}, w \models p
• 可达关系w R v
• 下一时刻算子\bigcirc p
• 直到算子p \mathcal{U} q

常见问题

如何在 LaTeX 中输入道义义务算子？

在数学模式中输入 O p，例如 $\mathsf{O}\,p \to \mathsf{P}\,p$。无需加载任何宏包即可在标准 LaTeX 中使用。

O p 需要哪个宏包？

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

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

两者皆可。O p 在正文和 $...$ 中都能编译；在公式中请保持数学模式，以获得数学字体和间距。