Отрицание возможности в LaTeX (\neg\Diamond)

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

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

Невозможность есть необходимость отрицания, \neg\Diamond p \leftrightarrow \Box\neg p, и она имеет место в мире, если ни один достижимый мир не удовлетворяет p. Противоречие невозможно в любой нормальной модальной логике: \neg\Diamond\bot. В эпистемической интерпретации это значит, что агент считает p исключённым. Команду \neg можно заменить на \lnot с идентичным результатом. Не импровизируйте перечёркнутый ромб через \not\Diamond: эта конструкция рассчитана на отношения и плохо ставит черту. Перенос отрицания внутрь, \Diamond\neg p, означает другое: p может не выполняться.

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

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

\documentclass{article}
\usepackage{amssymb}
\begin{document}
Not Possible: $\neg\Diamond$

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

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

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

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

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

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

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

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

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

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