Отрицание необходимости в LaTeX (\neg\Box)

Где используется

Отрицание необходимости: \neg\Box p означает, что p не необходимо, что равносильно \Diamond\neg p.

Двойственность \neg\Box p \leftrightarrow \Diamond\neg p позволяет вносить отрицания внутрь — модальный аналог законов де Моргана для кванторов. Семантически формула истинна в мире, если в некотором достижимом мире p ложно. \neg — обычный символ, поэтому \neg\Box p набирается плотно; при желании пишите \lnot — это синоним. Для перечёркнутого квадрата нет стандартной отдельной команды, а составной глиф запутал бы читателей, поэтому сохраняйте запись из двух символов. В эпистемической интерпретации \neg K_a p означает, что агент не знает p, что слабее, чем знать \neg p.

Минимальный компилируемый пример

Вставьте это в пустой файл .tex и скомпилируйте с pdfLaTeX, XeLaTeX или LuaLaTeX.

\documentclass{article}
\usepackage{amssymb}
\begin{document}
Not Necessary: $\neg\Box$

\[ \neg \Box p \leftrightarrow \Diamond \neg p \]
\end{document}

Похожие символы

• Отрицание возможности\neg\Diamond
• Оператор возможности\Diamond
• Строгая импликация\Box(p \to q)
• Оператор д’Аламбера\Box
• Возможность конъюнкции\Diamond(p \land q)
• Оператор знанияK_a p

Частые вопросы

Как написать «Отрицание необходимости» в LaTeX?

Наберите \neg\Box в математическом режиме, например $\neg \Box p \leftrightarrow \Diamond \neg p$. Сначала подключите amssymb: \usepackage{amssymb}.

Какой пакет нужен для \neg\Box?

Для \neg\Box нужен amssymb: добавьте \usepackage{amssymb} в преамбулу до начала документа.

Можно ли использовать \neg\Box в текстовом режиме или только в математическом?

Только в математическом режиме. Вне $...$ LaTeX остановится с ошибкой "Missing $ inserted", поэтому в тексте пишите $\neg\Box$.