Оператор убеждения в LaTeX (B_a p)

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

Оператор убеждения: B_a p читается «агент a полагает, что p»; в отличие от знания, убеждение может быть ложным.

Доксастическая логика обычно использует систему KD45: непротиворечивость B_a p \to \neg B_a\neg p и обе аксиомы интроспекции, но без аксиомы истинности, так что B_a p \to p не выполняется. Связь знания и убеждения K_a p \to B_a p — распространённый связующий принцип. В статьях о пересмотре убеждений пишут B_a(p \mid q) для условного убеждения. Как и в случае K_a, рассмотрите прямую \mathsf{B}, если курсивная B уже занята, и не путайте её с квадратом \Box — общим оператором необходимости.

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

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

\documentclass{article}
\begin{document}
Believes: $B_a p$

\[ B_a p \to \neg B_a \neg p \]
\end{document}

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

• Общее знаниеC_G p
• Оператор знанияK_a p
• Темпоральный оператор «всегда»\Box p
• Возможность конъюнкции\Diamond(p \land q)
• Темпоральный оператор «когда-нибудь»\Diamond p
• Строгая импликация\Box(p \to q)

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

Как написать «Оператор убеждения» в LaTeX?

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

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

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

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

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