LaTeX 中的道义允许算子（P p）

用途

道义允许：P p 读作“p 是被允许的”，是义务的对偶。

允许定义为 P p \leftrightarrow \neg O\neg p，禁止定义为 F p \leftrightarrow O\neg p。在标准道义逻辑中，每个义务都是被允许的，即 O p \to P p。自由选择允许，即 P(p \lor q) 应当蕴涵 P p，是一个著名谜题，标准系统并不认可它。斜体 P 会与概率记号冲突，所以许多作者使用 \mathsf{P} 或 \mathbf{P}；并在其后加 \, 把算子与公式分开。

最小可编译示例

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

\documentclass{article}
\begin{document}
Deontic Permitted: $P p$

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

相关符号

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

常见问题

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

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

P p 需要哪个宏包？

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

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

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