LaTeX 中的否定符号（\neg）

用途

逻辑否定符号，一个 L 形的钩，放在公式前面表示“非”。

逻辑中写 \neg p 表示非 p，在经典逻辑中有 \neg\neg p \equiv p；\lnot 是完全等价的别名。有些教材改用 \sim p、上划线 \bar{p} 或 p'，在布尔代数和数字电路中尤其常见。\neg 是普通符号，因此它与其作用对象之间没有间距，这正是期望的效果。德摩根律 \neg(p \land q) \equiv \neg p \lor \neg q 是典型的行间公式。在编程语境中，! 和 \lnot 都有人使用。

也收录于: 布尔代数, 计算机科学

最小可编译示例

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

\documentclass{article}
\begin{document}
Negation: $\neg$

\[ \neg (p \land q) \equiv \neg p \lor \neg q \]
\end{document}

相关符号

• 逻辑与（合取）\land
• 不存在量词\nexists
• 逻辑或（析取）\lor
• 存在量词\exists
• 双线右箭头\Rightarrow
• 全称量词\forall

常见问题

如何在 LaTeX 中输入否定符号？

在数学模式中输入 \neg，例如 $\neg (p \land q) \equiv \neg p \lor \neg q$。无需加载任何宏包即可在标准 LaTeX 中使用。

\neg 需要哪个宏包？

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

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

只能用于数学模式。在 $...$ 之外，LaTeX 会报错 "Missing $ inserted"，所以在正文中请写 $\neg$。 如果只需要在正文中显示该字形，可以直接粘贴 Unicode 字符 ¬（需使用 XeLaTeX 或 LuaLaTeX 以及包含该字形的字体）。