Glaubensoperator in LaTeX (B_a p)

Verwendung

Glaubensoperator: B_a p wird „Agent a glaubt, dass p“ gelesen; anders als Wissen kann Glaube falsch sein.

Die doxastische Logik verwendet typischerweise KD45: Konsistenz B_a p \to \neg B_a\neg p und beide Introspektionsaxiome, aber kein Wahrheitsaxiom, sodass B_a p \to p nicht gilt. Die Verbindung von Wissen und Glauben K_a p \to B_a p ist ein verbreitetes Brückenprinzip. Arbeiten zur Glaubensrevision schreiben B_a(p \mid q) für bedingten Glauben. Wie bei K_a sollten Sie ein aufrechtes \mathsf{B} in Betracht ziehen, wenn das kursive B schon anderweitig belegt ist, und es nicht mit dem Kästchen \Box verwechseln, dem allgemeinen Notwendigkeitsoperator.

Minimales kompilierbares Beispiel

Fügen Sie dies in eine leere .tex-Datei ein und kompilieren Sie mit pdfLaTeX, XeLaTeX oder LuaLaTeX.

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

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

Verwandte Symbole

• Gemeinsames WissenC_G p
• WissensoperatorK_a p
• Immer (temporales Kästchen)\Box p
• Mögliche Konjunktion\Diamond(p \land q)
• Irgendwann (temporale Raute)\Diamond p
• Strikte Implikation\Box(p \to q)

Häufige Fragen

Wie schreibe ich Glaubensoperator in LaTeX?

Schreiben Sie B_a p im Mathematikmodus, zum Beispiel $B_a p \to \neg B_a \neg p$. Es funktioniert in Standard-LaTeX, ohne ein Paket zu laden.

Welches Paket brauche ich für B_a p?

Keines. B_a p gehört zum Standardumfang von LaTeX und kompiliert ohne weitere Angaben in der Präambel außer der Dokumentklasse.

Kann ich B_a p im Textmodus verwenden oder nur im Mathematikmodus?

Nur im Mathematikmodus. Außerhalb von $...$ bricht LaTeX mit "Missing $ inserted" ab, schreiben Sie im Fließtext also $B_a p$.