Деонтическая обязательность в LaTeX (O p)

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

Деонтическое обязательство: O p читается «должно быть так, что p» или «p обязательно».

Стандартная деонтическая логика — это нормальная модальная логика KD с аксиомой D, O p \to P p, утверждающей непротиворечивость обязательств, тогда как аксиома истинности O p \to p намеренно не выполняется. Парадоксы обязательств при нарушении долга, такие как парадокс Чизолма, показывают её ограничения и мотивируют диадическое обязательство O(p \mid q). В математическом режиме O p набирается как Op без пробела, поэтому пишите O\,p или используйте прямую \mathbf{O} или \mathsf{O}, чтобы её не прочитали как O-большое.

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

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

\documentclass{article}
\begin{document}
Deontic Ought: $O p$

\[ \mathsf{O}\,p \to \mathsf{P}\,p \]
\end{document}

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

• Деонтическое разрешениеP p
• Возможный мирw
• Модель Крипке\mathcal{M}, w \models p
• Отношение достижимостиw R v
• Оператор «в следующий момент»\bigcirc p
• Оператор «до тех пор, пока»p \mathcal{U} q

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

Как написать «Деонтическая обязательность» в LaTeX?

Наберите O p в математическом режиме, например $\mathsf{O}\,p \to \mathsf{P}\,p$. Команда работает в обычном LaTeX без подключения пакетов.

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

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

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

В обоих. O p компилируется и в тексте, и внутри $...$; в формуле оставляйте её в математическом режиме ради математических шрифтов и интервалов.