Deducibilidad (torniquete) en LaTeX (\vdash)

Dónde se usa

Torniquete: la fórmula de la derecha es derivable (demostrable) a partir de las hipótesis de la izquierda.

La teoría de la demostración escribe \Gamma \vdash \varphi para la consecuencia sintáctica, y la teoría de tipos lo usa en los juicios de tipado \Gamma \vdash e : \tau. Se distingue de \models, que expresa la consecuencia semántica (verdad en todos los modelos); la corrección y la completitud afirman que ambas coinciden en la lógica de primer orden. Se niega con \nvdash. \vdash es una relación, así que el espaciado es automático. Para reglas de inferencia, \frac o un paquete específico de árboles de demostración produce la línea horizontal, con juicios que contienen \vdash arriba y abajo. El símbolo simétrico es \dashv.

Ejemplo mínimo compilable

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

\documentclass{article}
\begin{document}
Proves: $\vdash$

\[ \Gamma, x : \sigma \vdash e : \tau \]
\end{document}

Símbolos relacionados

• Consecuencia semántica (doble torniquete)\models
• Equivalencia (si y solo si)\iff
• Signo «por lo tanto»\therefore
• Implicación\implies
• Signo «porque»\because
• Flecha doble bidireccional\Leftrightarrow

Preguntas frecuentes

¿Cómo escribo Deducibilidad (torniquete) en LaTeX?

Escribe \vdash en modo matemático, por ejemplo $\Gamma, x : \sigma \vdash e : \tau$. Funciona en LaTeX estándar sin cargar ningún paquete.

¿Qué paquete necesito para \vdash?

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

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