Темпоральный оператор «всегда» в LaTeX (\Box p)

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

Темпоральное «всегда»: \Box p означает, что p выполняется сейчас и в каждый будущий момент вычисления.

В линейной темпоральной логике \Box часто записывают как G (globally, «глобально»), а свойства безопасности имеют вид \Box\neg\mathit{bad}. Он двойствен оператору «когда-нибудь», \Box p \leftrightarrow \neg\Diamond\neg p, а \Box\Diamond p выражает, что p происходит бесконечно часто. Тот же квадрат обозначает необходимость в алетической модальной логике, поэтому указывайте, какая интерпретация имеется в виду. \Box и \square дают почти одинаковые квадраты; \Box — общепринятый модальный оператор, а пробел перед p автоматически не добавляется. В CTL перед ним ставится квантор путей, как в AG p.

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

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

\documentclass{article}
\usepackage{amssymb}
\begin{document}
Always (temporal box): $\Box p$

\[ \Box(\mathit{req} \to \Diamond \mathit{grant}) \]
\end{document}

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

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

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

Как написать «Темпоральный оператор «всегда»» в LaTeX?

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

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

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

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

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