Siempre (caja temporal) en LaTeX (\Box p)

Dónde se usa

«Siempre» temporal: \Box p dice que p se cumple ahora y en todo instante futuro de la ejecución.

En la lógica temporal lineal, \Box se escribe a menudo G (globalmente), y las propiedades de seguridad tienen la forma \Box\neg\mathit{bad}. Es dual de «finalmente», \Box p \leftrightarrow \neg\Diamond\neg p, y \Box\Diamond p expresa que p ocurre infinitas veces. La misma caja es la necesidad en la lógica modal alética, así que indica qué lectura se aplica. \Box y \square dan cuadrados casi idénticos; \Box es el operador modal convencional y no se añade automáticamente espacio antes de p. CTL le antepone un cuantificador de caminos, como en AG p.

Ejemplo mínimo compilable

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

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

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

Símbolos relacionados

• Finalmente (rombo temporal)\Diamond p
• Conocimiento comúnC_G p
• Operador hastap \mathcal{U} q
• Operador de creenciaB_a p
• Operador siguiente\bigcirc p
• Operador de conocimientoK_a p

Preguntas frecuentes

¿Cómo escribo Siempre (caja temporal) en LaTeX?

Escribe \Box p en modo matemático, por ejemplo $\Box(\mathit{req} \to \Diamond \mathit{grant})$. Carga antes amssymb con \usepackage{amssymb}.

¿Qué paquete necesito para \Box p?

\Box p necesita amssymb: añade \usepackage{amssymb} al preámbulo antes de que empiece el documento.

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