Mundo possível em LaTeX (w)

Onde é usado

Um mundo possível: um ponto de um quadro de Kripke em que as fórmulas são avaliadas como verdadeiras ou falsas.

Os mundos são tomados de um conjunto W, e um quadro é o par (W, R) com uma relação de acessibilidade. Dependendo da lógica, um mundo pode representar o estado de um programa, um instante no tempo ou uma alternativa epistêmica. Por convenção, usam-se w, v, u minúsculos para mundos e w_0 para o mundo real. Como um w itálico isolado é muito comum, introduza-o explicitamente e prefira w \in W na primeira fórmula para fixar a leitura.

Exemplo mínimo compilável

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

\documentclass{article}
\begin{document}
Possible World: $w$

\[ w \in W,\quad \mathcal{M}, w \models p \]
\end{document}

Símbolos relacionados

• Obrigação deônticaO p
• Modelo de Kripke\mathcal{M}, w \models p
• Permissão deônticaP p
• Relação de acessibilidadew R v
• Operador próximo\bigcirc p
• Operador atép \mathcal{U} q

Perguntas frequentes

Como escrever Mundo possível em LaTeX?

Digite w no modo matemático, por exemplo $w \in W,\quad \mathcal{M}, w \models p$. Funciona no LaTeX padrão sem carregar nenhum pacote.

Qual pacote é necessário para w?

Nenhum. w faz parte do LaTeX padrão, então compila só com a classe do documento no preâmbulo.

Posso usar w no modo texto ou só no modo matemático?

Nos dois. w compila no texto corrido e dentro de $...$; em uma fórmula, mantenha-o no modo matemático para que use as fontes e o espaçamento matemáticos.