Отрицание в 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 и шрифтом, в котором он есть).