Sempre (caixa temporal) em LaTeX (\Box p)

Onde é usado

O "sempre" temporal: \Box p diz que p vale agora e em todo instante futuro da execução.

Na lógica temporal linear, \Box costuma ser escrito G (globalmente), e propriedades de segurança têm a forma \Box\neg\mathit{bad}. É dual de "em algum momento", \Box p \leftrightarrow \neg\Diamond\neg p, e \Box\Diamond p expressa que p acontece infinitas vezes. A mesma caixa é a necessidade na lógica modal alética, então indique qual leitura se aplica. \Box e \square dão quadrados quase idênticos; \Box é o operador modal convencional, e o espaço antes de p não é acrescentado automaticamente. A CTL o prefixa com um quantificador de caminhos, como em AG p.

Exemplo mínimo compilável

Cole isto em um arquivo .tex vazio e compile com pdfLaTeX, XeLaTeX ou LuaLaTeX.

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

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

Símbolos relacionados

• Em algum momento (losango temporal)\Diamond p
• Conhecimento comumC_G p
• Operador atép \mathcal{U} q
• Operador de crençaB_a p
• Operador próximo\bigcirc p
• Operador de conhecimentoK_a p

Perguntas frequentes

Como escrever Sempre (caixa temporal) em LaTeX?

Digite \Box p no modo matemático, por exemplo $\Box(\mathit{req} \to \Diamond \mathit{grant})$. Carregue antes amssymb com \usepackage{amssymb}.

Qual pacote é necessário para \Box p?

\Box p precisa de amssymb: adicione \usepackage{amssymb} ao preâmbulo antes do início do documento.

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