Relação de acessibilidade em LaTeX (w R v)

Onde é usado

Relação de acessibilidade na semântica de Kripke: w R v significa que o mundo v é acessível (considerado possível) a partir do mundo w.

As propriedades de R correspondem a axiomas modais: reflexiva dá T (\Box p \to p), transitiva dá 4 (\Box p \to \Box\Box p), e uma relação de equivalência dá S5. A verdade de \Box p em w exige p em todo v com wRv. Digitado como w R v, o TeX trata R como uma letra comum e os espaços somem, produzindo wRv; use w \mathrel{R} v para o espaçamento de relação, ou defina uma macro. Alguns autores escrevem R(w, v) ou w \to v.

Exemplo mínimo compilável

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

\documentclass{article}
\usepackage{amssymb,amsmath}
\begin{document}
Accessibility: $w R v$

\[ w \mathrel{R} v \land v \models p \implies w \models \Diamond p \]
\end{document}

Símbolos relacionados

• Modelo de Kripke\mathcal{M}, w \models p
• Operador próximo\bigcirc p
• Mundo possívelw
• Operador atép \mathcal{U} q
• Obrigação deônticaO p
• Em algum momento (losango temporal)\Diamond p

Perguntas frequentes

Como escrever Relação de acessibilidade em LaTeX?

Digite w R v no modo matemático, por exemplo $w \mathrel{R} v \land v \models p \implies w \models \Diamond p$. Funciona no LaTeX padrão sem carregar nenhum pacote.

Qual pacote é necessário para w R v?

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

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

Nos dois. w R v 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.