Mundo posible en LaTeX (w)

Dónde se usa

Un mundo posible: un punto de un marco de Kripke en el que las fórmulas se evalúan como verdaderas o falsas.

Los mundos se toman de un conjunto W, y un marco es el par (W, R) con una relación de accesibilidad. Según la lógica, un mundo puede representar un estado de un programa, un instante de tiempo o una alternativa epistémica. Por convención se usan las minúsculas w, v, u para los mundos y w_0 para el mundo real. Como una w cursiva aislada es tan habitual, introdúcela explícitamente y prefiere w \in W en la primera fórmula para fijar la lectura.

Ejemplo mínimo compilable

Pégalo en un archivo .tex vacío y compílalo con pdfLaTeX, XeLaTeX o LuaLaTeX.

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

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

Símbolos relacionados

• Obligación deónticaO p
• Modelo de Kripke\mathcal{M}, w \models p
• Permiso deónticoP p
• Relación de accesibilidadw R v
• Operador siguiente\bigcirc p
• Operador hastap \mathcal{U} q

Preguntas frecuentes

¿Cómo escribo Mundo posible en LaTeX?

Escribe w en modo matemático, por ejemplo $w \in W,\quad \mathcal{M}, w \models p$. Funciona en LaTeX estándar sin cargar ningún paquete.

¿Qué paquete necesito para w?

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

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

En ambos. w 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.