LaTeX 中的不存在量词（\nexists）

用途

否定的存在量词：不存在具有所述性质的对象。

\nexists x \in \mathbb{Q} : x^2 = 2 表示 2 没有有理平方根。该符号是专门设计的单个字形，即带斜线的 \exists；\not\exists 也可以使用，但斜线位置可能不准。从逻辑上讲，它等价于 \forall x\, \neg P(x)，许多逻辑学家为了清晰起见更喜欢写成 \neg \exists x。在约束变量之后加一个小间距或冒号，如 \nexists x \, P(x)。表示唯一存在的符号是 \exists!。

也收录于: 量词

最小可编译示例

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

\documentclass{article}
\usepackage{amssymb}
\begin{document}
Not Exists: $\nexists$

\[ \nexists\, x \in \mathbb{Q} : x^2 = 2 \]
\end{document}

相关符号

• 否定符号\neg
• 存在量词\exists
• 逻辑与（合取）\land
• 全称量词\forall
• 逻辑或（析取）\lor
• 双线右箭头\Rightarrow

常见问题

如何在 LaTeX 中输入不存在量词？

在数学模式中输入 \nexists，例如 $\nexists\, x \in \mathbb{Q} : x^2 = 2$。请先用 \usepackage{amssymb} 加载 amssymb。

\nexists 需要哪个宏包？

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

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

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