Doble trinquete
Apariencia
En lógica, el símbolo ⊨, o se denomina doble trinquete. Está relacionada al símbolo trinquete , el cual posee una sola barra cruzada en el medio. Puede ser leído como "consecuencia lógica" (trinquete en), "modelo de", "es consecuencia semántica de" o en inglés "is stronger than" (es más fuerte que).[1]
En TeX, los símbolos de trinquete y se obtienen mediante los comandos \vDash y \models respectivamente. En Unicode está mapeado en U+22A8 ⊨ TRUE
Significado
[editar]El doble trinquete es una relación binaria. El significado depende del contexto:
- Expresando consecuencia lógica (semántica), con un conjunto de sentencias de izquierda y una sola frase a la derecha, es la búsqueda de indicar que si toda sentencia si la izquierda es verdadera (premisas), la sentencia será verdadera, por ejemplo, . Este uso es muy parecida al del trinquete, lo cual indica consecuencia lógica (sintaxis).
- Expresando satisfactibilidad, con una estructura modelo (o del inglés truth-structure) a la izquierda y un conjunto de sentencias al lado derecho, es para indicar que la estructura es un modelo para (o satisface (tiene los recursos necesarios probar valor de verdad)) el conjunto de sentencia, por ejemplo, .
- Al expresar tautología, . el cual indica que la expresión es consecuencia lógica (semántica) de un conjunto vacío de sentencias.
Véase también
[editar]Referencias
[editar]- ↑ Nederpelt, Rob (2004). «Chapter 7: Strengthening and weakening». Logical Reasoning: A First Course (en inglés) (3ra revisión edición). King's College Publications. p. 62. ISBN 0-9543006-7-X.
Enlaces externos
[editar]- Esta obra contiene una traducción total derivada de «Dupla catraca» de Wikipedia en portugués, concretamente de esta versión, publicada por sus editores bajo la Licencia de documentación libre de GNU y la Licencia Creative Commons Atribución-CompartirIgual 4.0 Internacional.