LaTeX 中的逻辑与（合取）（\land）

用途

逻辑与（合取），当且仅当两个运算对象都为真时为真。

\land 是 \wedge 的别名，在逻辑中选用它是为了提高可读性，如 p \land q 或 \forall x\, (P(x) \land Q(x))。由于 LaTeX 将其归类为二元运算符，p \land q 两侧的间距会自动设置，不要手动添加 \,。对多个公式取合取时，使用大型运算符 \bigwedge_{i=1}^{n} p_i。在布尔代数中，“与”通常写成乘法形式 pq 或 p \cdot q。逻辑中用 \land、外代数中用 \wedge，可以让源码含义清楚，尽管二者输出完全相同。

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

最小可编译示例

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

\documentclass{article}
\begin{document}
Logical And: $\land$

\[ (p \land q) \rightarrow p \]
\end{document}

相关符号

• 逻辑或（析取）\lor
• 否定符号\neg
• 双线右箭头\Rightarrow
• 不存在量词\nexists
• 双线左箭头\Leftarrow
• 存在量词\exists

常见问题

如何在 LaTeX 中输入逻辑与（合取）？

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

\land 需要哪个宏包？

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

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

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