Em algum momento (losango temporal) em LaTeX (\Diamond p)

Onde é usado

O "em algum momento" temporal: \Diamond p diz que p vale em algum instante presente ou futuro.

A lógica temporal linear também o escreve F p (futuro), e ele pode ser definido a partir do "até" como \Diamond p \equiv \top\,\mathcal{U}\,p. Propriedades de vivacidade costumam ter essa forma, como \Box(\mathit{req} \to \Diamond\mathit{grant}). \Diamond\Box p significa que p passa a valer para sempre a partir de algum momento. Na lógica modal alética o mesmo losango significa "possivelmente", então explicite a leitura temporal. Use \Diamond, não \diamond, que é um operador binário menor. Na lógica de árvore de computação ele é prefixado por um quantificador de caminhos, como em AF p ou EF 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}
Eventually (temporal diamond): $\Diamond p$

\[ \Diamond \Box p \to \Box \Diamond p \]
\end{document}

Símbolos relacionados

• Operador atép \mathcal{U} q
• Sempre (caixa temporal)\Box p
• Operador próximo\bigcirc p
• Conhecimento comumC_G p
• Relação de acessibilidadew R v
• Operador de crençaB_a p

Perguntas frequentes

Como escrever Em algum momento (losango temporal) em LaTeX?

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

Qual pacote é necessário para \Diamond p?

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

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