Modelo de Kripke en LaTeX (\mathcal{M}, w \models p)

Dónde se usa

Satisfacción en un modelo de Kripke: la fórmula p es verdadera en el mundo w del modelo \mathcal{M}.

Un modelo de Kripke \mathcal{M} = (W, R, V) tiene mundos, una relación de accesibilidad y una valoración, y la verdad se define mundo a mundo, por ejemplo \mathcal{M}, w \models \Box p si y solo si p se cumple en todos los R-sucesores. \models es una relación con el espaciado adecuado; \vDash da un glifo de doble torniquete similar, y sus negaciones son \not\models o \nvDash. No uses \vdash, que significa demostrabilidad y no verdad. Cuando el modelo está fijado, los autores abrevian a w \models p o w \Vdash p.

Ejemplo mínimo compilable

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

\documentclass{article}
\usepackage{amssymb}
\begin{document}
Kripke Model: $\mathcal{M}, w \models p$

\[ \mathcal{M}, w \models \Box p \iff \forall v\,(wRv \Rightarrow v \models p) \]
\end{document}

Símbolos relacionados

• Mundo posiblew
• Relación de accesibilidadw R v
• Obligación deónticaO p
• Operador siguiente\bigcirc p
• Permiso deónticoP p
• Operador hastap \mathcal{U} q

Preguntas frecuentes

¿Cómo escribo Modelo de Kripke en LaTeX?

Escribe \mathcal{M}, w \models p en modo matemático, por ejemplo $\mathcal{M}, w \models \Box p \iff \forall v\,(wRv \Rightarrow v \models p)$. Funciona en LaTeX estándar sin cargar ningún paquete.

¿Qué paquete necesito para \mathcal{M}, w \models p?

Ninguno. \mathcal{M}, w \models p forma parte de LaTeX estándar, así que compila solo con la clase de documento en el preámbulo.

¿Puedo usar \mathcal{M}, w \models p en modo texto o solo en modo matemático?

Solo en modo matemático. Fuera de $...$ LaTeX se detiene con "Missing $ inserted", así que en el texto escribe $\mathcal{M}, w \models p$.