Conocimiento común en LaTeX (C_G p)

Dónde se usa

Conocimiento común en el grupo G: todos saben p, todos saben que todos saben p, y así sucesivamente sin fin.

Si E_G p significa que todos en G saben p, el conocimiento común es la conjunción infinita E_G p \land E_G E_G p \land \cdots, y satisface el axioma de punto fijo C_G p \leftrightarrow E_G(p \land C_G p). Los acertijos de los niños embarrados y del ataque coordinado giran en torno a la diferencia entre E_G y C_G. El conocimiento distribuido se escribe D_G p. G es un conjunto de agentes, así que escríbelo como una letra mayúscula cursiva y defínelo explícitamente.

Ejemplo mínimo compilable

Pégalo en un archivo .tex vacío y compílalo con pdfLaTeX, XeLaTeX o LuaLaTeX.

\documentclass{article}
\begin{document}
Common Knowledge: $C_G p$

\[ C_G p \leftrightarrow E_G(p \land C_G p) \]
\end{document}

Símbolos relacionados

• Siempre (caja temporal)\Box p
• Operador de creenciaB_a p
• Finalmente (rombo temporal)\Diamond p
• Operador de conocimientoK_a p
• Operador hastap \mathcal{U} q
• Conjunción posible\Diamond(p \land q)

Preguntas frecuentes

¿Cómo escribo Conocimiento común en LaTeX?

Escribe C_G p en modo matemático, por ejemplo $C_G p \leftrightarrow E_G(p \land C_G p)$. Funciona en LaTeX estándar sin cargar ningún paquete.

¿Qué paquete necesito para C_G p?

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

¿Puedo usar C_G 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 $C_G p$.