LaTeX 中的不可能算子（\neg\Diamond）

用途

否定的可能：\neg\Diamond p 表示 p 不可能，等价于 \Box\neg p。

不可能就是否定的必然，\neg\Diamond p \leftrightarrow \Box\neg p，当没有任何可达世界满足 p 时它在该世界成立。在每个正规模态逻辑中矛盾都是不可能的，即 \neg\Diamond\bot。在认知解读中，它表示主体认为 p 已被排除。命令 \neg 可以换成 \lnot，输出完全相同。不要用 \not\Diamond 临时拼出带斜线的菱形，\not 是为关系符设计的，斜线位置会很差。把否定移到里面得到 \Diamond\neg p，含义不同：表示 p 可能不成立。

最小可编译示例

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

\documentclass{article}
\usepackage{amssymb}
\begin{document}
Not Possible: $\neg\Diamond$

\[ \neg \Diamond p \leftrightarrow \Box \neg p \]
\end{document}

相关符号

• 必然蕴涵（严格蕴涵）\Box(p \to q)
• 非必然算子\neg\Box
• 合取的可能性\Diamond(p \land q)
• 可能算子\Diamond
• 知识算子K_a p
• 达朗贝尔算子\Box

常见问题

如何在 LaTeX 中输入不可能算子？

在数学模式中输入 \neg\Diamond，例如 $\neg \Diamond p \leftrightarrow \Box \neg p$。请先用 \usepackage{amssymb} 加载 amssymb。

\neg\Diamond 需要哪个宏包？

\neg\Diamond 需要 amssymb：在文档开始前把 \usepackage{amssymb} 加入导言区。

\neg\Diamond 能在文本模式中使用，还是只能用于数学模式？

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