Relación de accesibilidad en LaTeX (w R v)

Dónde se usa

Relación de accesibilidad en la semántica de Kripke: w R v significa que el mundo v es accesible (se considera posible) desde el mundo w.

Las propiedades de R se corresponden con axiomas modales: la reflexividad da T (\Box p \to p), la transitividad da 4 (\Box p \to \Box\Box p) y una relación de equivalencia da S5. Que \Box p sea verdadera en w exige p en todo v con wRv. Si escribes w R v, TeX trata R como una letra ordinaria y los espacios desaparecen, produciendo wRv; usa w \mathrel{R} v para obtener espaciado de relación, o define una macro. Algunos autores escriben R(w, v) o w \to v en su lugar.

Ejemplo mínimo compilable

Pégalo en un archivo .tex vacío y compílalo con pdfLaTeX, XeLaTeX o 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 siguiente\bigcirc p
• Mundo posiblew
• Operador hastap \mathcal{U} q
• Obligación deónticaO p
• Finalmente (rombo temporal)\Diamond p

Preguntas frecuentes

¿Cómo escribo Relación de accesibilidad en LaTeX?

Escribe w R v en modo matemático, por ejemplo $w \mathrel{R} v \land v \models p \implies w \models \Diamond p$. Funciona en LaTeX estándar sin cargar ningún paquete.

¿Qué paquete necesito para w R v?

Ninguno. w R v forma parte de LaTeX estándar, así que compila solo con la clase de documento en el preámbulo.

¿Puedo usar w R v en modo texto o solo en modo matemático?

En ambos. w R v compila en el texto y dentro de $...$; en una fórmula déjalo en modo matemático para que use fuentes y espaciado matemáticos.