Operatore next in LaTeX (\bigcirc p)

Dove si usa

Operatore di istante successivo della logica temporale: \bigcirc p afferma che p vale nello stato immediatamente successivo.

È l'unico operatore LTL legato a passi di tempo discreti, e si scrive anche X p. La legge di espansione p \mathcal{U} q \leftrightarrow q \lor (p \land \bigcirc(p \mathcal{U} q)) lo usa per sviluppare until un passo alla volta. \bigcirc è un cerchio grande dimensionato come \Box e \Diamond, quindi si accorda visivamente con essi; \circ è un piccolo operatore di composizione ed è sbagliato in questo contesto. Alcuni articoli preferiscono \mathsf{X} per chiarezza nelle specifiche ricche di testo semplice.

Esempio minimo compilabile

Incollalo in un file .tex vuoto e compilalo con pdfLaTeX, XeLaTeX o LuaLaTeX.

\documentclass{article}
\usepackage{amssymb}
\begin{document}
Next: $\bigcirc p$

\[ \Box(p \to \bigcirc q) \]
\end{document}

Simboli correlati

• Relazione di accessibilitàw R v
• Operatore untilp \mathcal{U} q
• Modello di Kripke\mathcal{M}, w \models p
• Operatore temporale "prima o poi"\Diamond p
• Mondo possibilew
• Operatore temporale "sempre"\Box p

Domande frequenti

Come si scrive Operatore next in LaTeX?

Scrivi \bigcirc p in modalità matematica, per esempio $\Box(p \to \bigcirc q)$. Funziona in LaTeX standard senza caricare alcun pacchetto.

Quale pacchetto serve per \bigcirc p?

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

Posso usare \bigcirc 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 $\bigcirc p$.