Immer (temporales Kästchen) in LaTeX (\Box p)

Verwendung

Temporales „immer“: \Box p besagt, dass p jetzt und zu jedem zukünftigen Zeitpunkt des Ablaufs gilt.

In der linearen Temporallogik schreibt man \Box oft als G (globally), und Sicherheitseigenschaften haben die Form \Box\neg\mathit{bad}. Der Operator ist dual zu „irgendwann“, \Box p \leftrightarrow \neg\Diamond\neg p, und \Box\Diamond p drückt aus, dass p unendlich oft eintritt. Dasselbe Kästchen ist in der alethischen Modallogik die Notwendigkeit, geben Sie also an, welche Lesart gilt. \Box und \square ergeben nahezu identische Quadrate; \Box ist der übliche Modaloperator, und ein Abstand vor p wird nicht automatisch eingefügt. CTL stellt einen Pfadquantor voran, etwa AG p.

Minimales kompilierbares Beispiel

Fügen Sie dies in eine leere .tex-Datei ein und kompilieren Sie mit pdfLaTeX, XeLaTeX oder LuaLaTeX.

\documentclass{article}
\usepackage{amssymb}
\begin{document}
Always (temporal box): $\Box p$

\[ \Box(\mathit{req} \to \Diamond \mathit{grant}) \]
\end{document}

Verwandte Symbole

• Irgendwann (temporale Raute)\Diamond p
• Gemeinsames WissenC_G p
• Until-Operatorp \mathcal{U} q
• GlaubensoperatorB_a p
• Next-Operator\bigcirc p
• WissensoperatorK_a p

Häufige Fragen

Wie schreibe ich Immer (temporales Kästchen) in LaTeX?

Schreiben Sie \Box p im Mathematikmodus, zum Beispiel $\Box(\mathit{req} \to \Diamond \mathit{grant})$. Laden Sie zuerst amssymb mit \usepackage{amssymb}.

Welches Paket brauche ich für \Box p?

\Box p benötigt amssymb: Fügen Sie \usepackage{amssymb} in die Präambel ein, bevor das Dokument beginnt.

Kann ich \Box p im Textmodus verwenden oder nur im Mathematikmodus?

Nur im Mathematikmodus. Außerhalb von $...$ bricht LaTeX mit "Missing $ inserted" ab, schreiben Sie im Fließtext also $\Box p$.