Opérateur de croyance en LaTeX (B_a p)

Où il est utilisé

Opérateur de croyance : B_a p se lit « l'agent a croit que p », ce qui, contrairement à la connaissance, peut être faux.

La logique doxastique utilise généralement KD45 : la cohérence B_a p \to \neg B_a\neg p et les deux axiomes d'introspection, mais pas d'axiome de vérité, si bien que B_a p \to p échoue. Le lien connaissance-croyance K_a p \to B_a p est un principe de liaison courant. Les articles sur la révision des croyances écrivent B_a(p \mid q) pour la croyance conditionnelle. Comme pour K_a, envisagez un \mathsf{B} droit si le B italique sert à autre chose, et ne le confondez pas avec la boîte \Box, qui est l'opérateur générique de nécessité.

Exemple minimal compilable

Collez-le dans un fichier .tex vide et compilez avec pdfLaTeX, XeLaTeX ou LuaLaTeX.

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

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

Symboles associés

• Connaissance communeC_G p
• Opérateur de connaissanceK_a p
• Opérateur « toujours » (boîte temporelle)\Box p
• Conjonction possible\Diamond(p \land q)
• Opérateur « finalement » (losange temporel)\Diamond p
• Implication nécessaire\Box(p \to q)

Questions fréquentes

Comment écrire Opérateur de croyance en LaTeX ?

Tapez B_a p en mode mathématique, par exemple $B_a p \to \neg B_a \neg p$. La commande fonctionne en LaTeX standard sans charger de paquet.

Quel paquet faut-il pour B_a p ?

Aucun. B_a p fait partie de LaTeX standard : le préambule n’a besoin que de la classe de document.

Peut-on utiliser B_a p en mode texte, ou seulement en mode mathématique ?

Seulement en mode mathématique. Hors de $...$, LaTeX s’arrête avec "Missing $ inserted" : dans le texte, écrivez $B_a p$.