Возможный мир в LaTeX (w)

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

Возможный мир: точка шкалы Крипке, в которой формулы оцениваются как истинные или ложные.

Миры берутся из множества W, а шкала — это пара (W, R) с отношением достижимости. В зависимости от логики мир может обозначать состояние программы, момент времени или эпистемическую альтернативу. По соглашению миры обозначают строчными w, v, u, а действительный мир — w_0. Поскольку одиночная курсивная w встречается очень часто, вводите её явно и предпочитайте w \in W в первой формуле, чтобы закрепить прочтение.

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

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

\documentclass{article}
\begin{document}
Possible World: $w$

\[ w \in W,\quad \mathcal{M}, w \models p \]
\end{document}

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

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

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

Как написать «Возможный мир» в LaTeX?

Наберите w в математическом режиме, например $w \in W,\quad \mathcal{M}, w \models p$. Команда работает в обычном LaTeX без подключения пакетов.

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

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

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

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