LaTeX 中的逻辑或（析取）（\lor）

用途

逻辑或（析取），至少有一个运算对象为真时为真。

\lor 是 \vee 的别名，用于命题逻辑和谓词逻辑：p \lor \neg p 是排中律。LaTeX 按二元运算符为它设置间距，因此 p \lor q 不需要手动调整间距的命令。对多个析取项，使用大型运算符 \bigvee_{i} p_i。异或是另一个符号：\oplus 或 \veebar。布尔代数和电路设计中常把“或”写作 +。逻辑公式中优先使用 \lor，格论中使用 \vee，可使源码更易读，尽管二者输出相同。

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

最小可编译示例

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

\documentclass{article}
\begin{document}
Logical Or: $\lor$

\[ p \lor \neg p \equiv \top \]
\end{document}

相关符号

• 双线右箭头\Rightarrow
• 逻辑与（合取）\land
• 双线左箭头\Leftarrow
• 否定符号\neg
• 双线左右箭头\Leftrightarrow
• 不存在量词\nexists

常见问题

如何在 LaTeX 中输入逻辑或（析取）？

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

\lor 需要哪个宏包？

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

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

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