Operador de conocimiento en LaTeX (K_a p)

Dónde se usa

Operador epistémico de conocimiento: K_a p se lee «el agente a sabe que p».

La lógica epistémica suele modelar el conocimiento con S5: el axioma de verdad K_a p \to p, la introspección positiva K_a p \to K_a K_a p y la introspección negativa. Semánticamente, K_a p se cumple cuando p es verdadera en todo mundo que el agente a no puede distinguir del real. El dual \hat{K}_a p o M_a p significa que a considera p posible. Usa una K recta, \mathsf{K}_a o \mathrm{K}_a, si la K cursiva choca con la lógica llamada K, y escribe los nombres de agente de varias letras como \text{Alice} en el subíndice.

Ejemplo mínimo compilable

Pégalo en un archivo .tex vacío y compílalo con pdfLaTeX, XeLaTeX o 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}

Símbolos relacionados

• Operador de creenciaB_a p
• Conjunción posible\Diamond(p \land q)
• Conocimiento comúnC_G p
• Implicación necesaria\Box(p \to q)
• Siempre (caja temporal)\Box p
• Imposibilidad\neg\Diamond

Preguntas frecuentes

¿Cómo escribo Operador de conocimiento en LaTeX?

Escribe K_a p en modo matemático, por ejemplo $K_a p \to p,\quad K_a p \to K_a K_a p$. Funciona en LaTeX estándar sin cargar ningún paquete.

¿Qué paquete necesito para K_a p?

Ninguno. K_a p forma parte de LaTeX estándar, así que compila solo con la clase de documento en el preámbulo.

¿Puedo usar K_a p en modo texto o solo en modo matemático?

Solo en modo matemático. Fuera de $...$ LaTeX se detiene con "Missing $ inserted", así que en el texto escribe $K_a p$.