Conoscenza comune in LaTeX (C_G p)

Dove si usa

Conoscenza comune nel gruppo G: tutti sanno p, tutti sanno che tutti sanno p, e così via all'infinito.

Se E_G p significa che tutti in G sanno p, la conoscenza comune è la congiunzione infinita E_G p \land E_G E_G p \land \cdots, e soddisfa l'assioma di punto fisso C_G p \leftrightarrow E_G(p \land C_G p). Il problema dei bambini con la fronte sporca e quello dell'attacco coordinato si basano sulla differenza tra E_G e C_G. La conoscenza distribuita si scrive D_G p. G è un insieme di agenti, quindi scrivetelo come lettera maiuscola corsiva e definitelo esplicitamente.

Esempio minimo compilabile

Incollalo in un file .tex vuoto e compilalo 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}

Simboli correlati

• Operatore temporale "sempre"\Box p
• Operatore di credenzaB_a p
• Operatore temporale "prima o poi"\Diamond p
• Operatore di conoscenzaK_a p
• Operatore untilp \mathcal{U} q
• Congiunzione possibile\Diamond(p \land q)

Domande frequenti

Come si scrive Conoscenza comune in LaTeX?

Scrivi C_G p in modalità matematica, per esempio $C_G p \leftrightarrow E_G(p \land C_G p)$. Funziona in LaTeX standard senza caricare alcun pacchetto.

Quale pacchetto serve per C_G p?

Nessuno. C_G p fa parte di LaTeX standard, quindi compila con la sola classe del documento nel preambolo.

Posso usare C_G p in modalità testo o solo in modalità matematica?

Solo in modalità matematica. Fuori da $...$ LaTeX si ferma con "Missing $ inserted", quindi nel testo scrivi $C_G p$.