Логическое ИЛИ в 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 и шрифтом, в котором он есть).