Деонтическое разрешение в LaTeX (P p)

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

Деонтическое разрешение: P p читается «p разрешено»; оператор двойствен обязательству.

Разрешение определяется как P p \leftrightarrow \neg O\neg p, а запрет — как F p \leftrightarrow O\neg p. В стандартной деонтической логике всякое обязательное разрешено: O p \to P p. Разрешение свободного выбора, при котором P(p \lor q) должно влечь P p, — известная головоломка, которую стандартная система не подтверждает. Курсивная P конфликтует с обозначением вероятности, поэтому многие авторы используют \mathsf{P} или \mathbf{P}; добавляйте \, после неё, чтобы отделить оператор от формулы.

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

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

\documentclass{article}
\begin{document}
Deontic Permitted: $P p$

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

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

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

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

Как написать «Деонтическое разрешение» в LaTeX?

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

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

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

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

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