Conhecimento comum em LaTeX (C_G p)

Onde é usado

Conhecimento comum no grupo G: todos sabem p, todos sabem que todos sabem p, e assim por diante, sem fim.

Com E_G p significando que todos em G sabem p, o conhecimento comum é a conjunção infinita E_G p \land E_G E_G p \land \cdots, e satisfaz o axioma de ponto fixo C_G p \leftrightarrow E_G(p \land C_G p). Os enigmas das crianças enlameadas e do ataque coordenado giram em torno da diferença entre E_G e C_G. O conhecimento distribuído se escreve D_G p. G é um conjunto de agentes, então escreva-o como uma letra maiúscula em itálico e defina-o explicitamente.

Exemplo mínimo compilável

Cole isto em um arquivo .tex vazio e compile com pdfLaTeX, XeLaTeX ou 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

• Sempre (caixa temporal)\Box p
• Operador de crençaB_a p
• Em algum momento (losango temporal)\Diamond p
• Operador de conhecimentoK_a p
• Operador atép \mathcal{U} q
• Conjunção possível\Diamond(p \land q)

Perguntas frequentes

Como escrever Conhecimento comum em LaTeX?

Digite C_G p no modo matemático, por exemplo $C_G p \leftrightarrow E_G(p \land C_G p)$. Funciona no LaTeX padrão sem carregar nenhum pacote.

Qual pacote é necessário para C_G p?

Nenhum. C_G p faz parte do LaTeX padrão, então compila só com a classe do documento no preâmbulo.

Posso usar C_G p no modo texto ou só no modo matemático?

Só no modo matemático. Fora de $...$ o LaTeX para com "Missing $ inserted", então no texto escreva $C_G p$.