Consecuencia semántica (doble torniquete) en LaTeX (\models)

Dónde se usa

Doble torniquete: consecuencia semántica o satisfacción, es decir, verdad en todo modelo.

\mathcal{M} \models \varphi dice que la estructura M satisface la fórmula \varphi, y \Gamma \models \varphi dice que todo modelo de \Gamma satisface \varphi. Contrasta con \vdash, que es la demostrabilidad sintáctica. Su negación es \not\models o el glifo específico \nvDash. El parecido \vDash tiene proporciones ligeramente distintas y se usa en algunas lógicas junto con \Vdash para el forcing en teoría de conjuntos. Como es una relación, recibe espacio a ambos lados. En verificación de modelos se escribe s \models \phi para un estado que satisface una fórmula temporal.

Ejemplo mínimo compilable

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

\documentclass{article}
\begin{document}
Models: $\models$

\[ \Gamma \models \varphi \iff \Gamma \vdash \varphi \]
\end{document}

Símbolos relacionados

• Signo «por lo tanto»\therefore
• Deducibilidad (torniquete)\vdash
• Signo «porque»\because
• Equivalencia (si y solo si)\iff
• Contradicción (falsum, mínimo)\bot
• Implicación\implies

Preguntas frecuentes

¿Cómo escribo Consecuencia semántica (doble torniquete) en LaTeX?

Escribe \models en modo matemático, por ejemplo $\Gamma \models \varphi \iff \Gamma \vdash \varphi$. Funciona en LaTeX estándar sin cargar ningún paquete.

¿Qué paquete necesito para \models?

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

¿Puedo usar \models 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 $\models$. Si solo necesitas el glifo en el texto, pega el carácter Unicode ⊨ (con XeLaTeX o LuaLaTeX y una fuente que lo tenga).