Общее знание в LaTeX (C_G p)

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

Общее знание в группе G: все знают p, все знают, что все знают p, и так далее до бесконечности.

Если E_G p означает, что каждый в G знает p, то общее знание — бесконечная конъюнкция E_G p \land E_G E_G p \land \cdots, удовлетворяющая аксиоме неподвижной точки C_G p \leftrightarrow E_G(p \land C_G p). Головоломки о чумазых детях и о согласованной атаке основаны на разрыве между E_G и C_G. Распределённое знание записывается как D_G p. G — множество агентов, поэтому обозначайте его заглавной курсивной буквой и определяйте явно.

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

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

\documentclass{article}
\begin{document}
Common Knowledge: $C_G p$

\[ C_G p \leftrightarrow E_G(p \land C_G p) \]
\end{document}

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

• Темпоральный оператор «всегда»\Box p
• Оператор убежденияB_a p
• Темпоральный оператор «когда-нибудь»\Diamond p
• Оператор знанияK_a p
• Оператор «до тех пор, пока»p \mathcal{U} q
• Возможность конъюнкции\Diamond(p \land q)

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

Как написать «Общее знание» в LaTeX?

Наберите C_G p в математическом режиме, например $C_G p \leftrightarrow E_G(p \land C_G p)$. Команда работает в обычном LaTeX без подключения пакетов.

Какой пакет нужен для C_G p?

Никакой. C_G p входит в стандартный LaTeX, поэтому в преамбуле достаточно класса документа.

Можно ли использовать C_G p в текстовом режиме или только в математическом?

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