Opérateur de connaissance en LaTeX (K_a p)

Où il est utilisé

Opérateur épistémique de connaissance : K_a p se lit « l'agent a sait que p ».

La logique épistémique modélise généralement la connaissance avec S5 : l'axiome de vérité K_a p \to p, l'introspection positive K_a p \to K_a K_a p et l'introspection négative. Sémantiquement, K_a p est vrai lorsque p est vrai dans tous les mondes que l'agent a ne peut pas distinguer du monde réel. Le dual \hat{K}_a p ou M_a p signifie que a considère p comme possible. Utilisez un K droit, \mathsf{K}_a ou \mathrm{K}_a, si le K italique entre en conflit avec la logique nommée K, et écrivez les noms d'agents de plusieurs lettres sous la forme \text{Alice} en indice.

Exemple minimal compilable

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

\documentclass{article}
\begin{document}
Knows: $K_a p$

\[ K_a p \to p,\quad K_a p \to K_a K_a p \]
\end{document}

Symboles associés

• Opérateur de croyanceB_a p
• Conjonction possible\Diamond(p \land q)
• Connaissance communeC_G p
• Implication nécessaire\Box(p \to q)
• Opérateur « toujours » (boîte temporelle)\Box p
• Négation de la possibilité\neg\Diamond

Questions fréquentes

Comment écrire Opérateur de connaissance en LaTeX ?

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

Quel paquet faut-il pour K_a p ?

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

Peut-on utiliser K_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 $K_a p$.