Torniquete doble

Símbolo matemático

En lógica , el símbolo ⊨, ⊧ o ⊧ se denomina doble torniquete . A menudo se lee como " implica ", " modela ", "es una consecuencia semántica de" o "es más fuerte que". ^[1] Está estrechamente relacionado con el símbolo del torniquete , que tiene una sola barra en el medio y que denota consecuencia sintáctica (en contraste con semántica ). ${\displaystyle \models }$ ${\displaystyle \vdash }$

Significado

El doble torniquete es una relación binaria. Tiene varios significados diferentes en distintos contextos:

• Para mostrar una consecuencia semántica , con un conjunto de oraciones a la izquierda y una sola oración a la derecha, para indicar que si cada oración a la izquierda es verdadera, la oración a la derecha debe ser verdadera, por ejemplo . Este uso está estrechamente relacionado con el símbolo del torniquete de una sola barra que denota una consecuencia sintáctica . ${\displaystyle \Gamma \vDash \varphi }$
• Para mostrar satisfacción , con un modelo (o estructura de verdad) a la izquierda y un conjunto de oraciones a la derecha, para indicar que la estructura es un modelo para (o satisface) el conjunto de oraciones, p. ej . Esto se hace típicamente de manera inductiva junto con la restricción del rango de una asignación de variable , una función que mapee cada símbolo de variable a un valor en ella podría cumplirse. ^[2] ${\displaystyle {\mathcal {A}}\models \Gamma }$ ${\displaystyle {\mathcal {A}}}$
  • En este contexto, la consecuencia semántica de la lista anterior puede enunciarse como "Para un modelo dado , si entonces ". ${\displaystyle {\mathcal {A}}}$ ${\displaystyle {\mathcal {A}}\models \Gamma }$ ${\displaystyle {\mathcal {A}}\vDash \varphi }$
• Para denotar una tautología , . es decir que la expresión es una consecuencia semántica del conjunto vacío. ${\displaystyle \vDash \varphi }$ ${\displaystyle \varphi }$
• También puedes utilizar este símbolo de la siguiente manera: ⊭ para denotar la afirmación 'no implica'.

Tipografía

En TeX , los símbolos de torniquete ⊨ y se obtienen de los comandos y respectivamente. ${\displaystyle \models }$\vDash\models

En Unicode se codifica como U+22A8 ⊨ TRUE ( ⊨, ⊨ ) , y su opuesto es U+22AD ⊭ NOT TRUE ( ⊭ ) .

En LaTeX existe el paquete Turntile, que emite esta señal de muchas formas, incluida la de doble torniquete, y es capaz de poner etiquetas debajo o encima de ella, en los lugares correctos. El artículo Una herramienta para lógicos es un tutorial sobre el uso de este paquete.

Véase también

• Lista de símbolos lógicos
• Lista de símbolos matemáticos
• Torniquete ⊢

Referencias

1. Nederpelt, Rob (2004). "Capítulo 7: Fortalecimiento y debilitamiento". Razonamiento lógico: un primer curso (3.ª edición revisada). King's College Publications. pág. 62. ISBN 0-9543006-7-X.
2. Open Logic Project, Lógica de primer orden (p.7). Consultado el 4 de enero de 2022.