Возможность конъюнкции в LaTeX (\Diamond(p \land q))

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

Возможная конъюнкция: \Diamond(p \land q) означает, что существует достижимый мир, где выполняются и p, и q.

Из неё следует \Diamond p \land \Diamond q, но не наоборот, поскольку p и q могут быть возможны в разных мирах; эта асимметрия — стандартный экзаменационный вопрос. Двойственная ей формула — \Box(\neg p \lor \neg q). \land и \wedge дают один и тот же символ; в статьях по логике \land читается лучше. Сохраняйте скобки, потому что \Diamond p \land q разбирается как (\Diamond p) \land q. В терминах Крипке один и тот же мир-свидетель должен одновременно удовлетворять обоим конъюнктам. Например, дождь возможен и отсутствие дождя возможно, но дождь вместе с его отсутствием — нет.

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

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

\documentclass{article}
\usepackage{amssymb}
\begin{document}
Possible Conjunction: $\Diamond(p \land q)$

\[ \Diamond(p \land q) \to \Diamond p \land \Diamond q \]
\end{document}

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

• Оператор знанияK_a p
• Строгая импликация\Box(p \to q)
• Оператор убежденияB_a p
• Отрицание возможности\neg\Diamond
• Общее знаниеC_G p
• Отрицание необходимости\neg\Box

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

Как написать «Возможность конъюнкции» в LaTeX?

Наберите \Diamond(p \land q) в математическом режиме, например $\Diamond(p \land q) \to \Diamond p \land \Diamond q$. Сначала подключите amssymb: \usepackage{amssymb}.

Какой пакет нужен для \Diamond(p \land q)?

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

Можно ли использовать \Diamond(p \land q) в текстовом режиме или только в математическом?

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