Torniquete (símbolo)

Torniquete
⊢
◄ ⊞ ⊟ ⊠ ⊡ ⊢ ⊣ ⊤ ⊥ ⊦ ►
Características
Nombre tachuela derecha
Unicode U+22A2
Código HTML ⊢ o ⊢
UTF-16 0x22A2
código URL %E2%8A%A2
Mnemotécnica ⊢
⊢

Torniquete  : en lógica matemática e informática , el símbolo se denomina "torniquete" debido a su parecido con un torniquete típico , cuando se ve desde arriba. También se le conoce como "tee" y a menudo se lee como "da", "prueba", "satisface" o "implica".

En TeX , el símbolo del torniquete se obtiene del comando \vdash . En Unicode , el carácter de torniquete ( \vdash ) se denomina "botón derecho" y se encuentra en la posición de código U+22A2 [1] . La posición de código U+22A6 se denomina marca de aserción ( \vdash ). En una máquina de escribir, un torniquete puede consistir en una barra vertical (|) y un guión (-). LaTeX tiene un paquete de torniquete que produce este carácter en muchos casos y puede colocar caracteres debajo o encima de él en los lugares correctos. [2]

Significado

El torniquete es una relación binaria . Su interpretación de es diferente en diferentes contextos:

:

se puede leer: "Sé que A es verdadero".

En la misma línea, una declaración condicional :

se puede leer como:

"De P , sé que Q " significa que Q es derivable de P en el sistema. De acuerdo con su uso para la derivabilidad, seguida de una expresión sin nada que la preceda denota un teorema , es decir, la expresión se puede deducir de las reglas usando el conjunto vacío de axiomas . Como tal, la expresión significa que Q es un teorema en el sistema. significa que S es demostrable a partir de T. [5] Este uso se demuestra en el artículo sobre lógica proposicional . La consecuencia sintáctica de la demostrabilidad debe contrastarse con la consecuencia semántica denotada por el símbolo de doble torniquete . Dice que es la consecuencia semántica de , o , cuando todas las posibles evaluaciones que son verdaderas también lo son. Para la lógica proposicional, se puede demostrar que la consecuencia semántica y la derivabilidad son equivalentes entre sí. Es decir, la lógica proposicional es sólida ( implica ) y completa ( implica ). [6]

con el funtor G. [9] En casos más raros, el torniquete ( ), como en , se usa para indicar que el funtor G es directamente adyacente al funtor F . [diez]

  • En APL , el símbolo se denomina "viraje a la derecha" y representa la función de identidad derecha ambivalente, donde y , y son . El símbolo inverso se llama "viraje izquierdo" y representa una identidad izquierda similar, donde  es y  es . [11] [12]
  • En combinatoria , significa que es una partición del número . [13]
  • En las calculadoras de las series HP-41C y HP-42S de Hewlett-Packard , el carácter (en el punto de código 127) en el conjunto de caracteres FOCAL ) se denomina "Agregar carácter" y se usa para indicar que el Los siguientes caracteres se agregarán al registro alfa, en lugar de reemplazar el contenido existente del registro. Este carácter también es compatible (en el punto de código 148) en una variante modificada de la fuente HP Roman utilizada en otras calculadoras HP.
  • En las calculadoras de la serie fx-92 College 2D y fx-92+ Speciale College de Casio , [14] el símbolo representa el operador de módulo ; se mostrará la entrada , donde Q es el cociente y R es el resto . En otras calculadoras CASIO (como las variantes belgas , las calculadoras fx-92B Speciale College y fx-92B College 2D [15] , donde el separador decimal se representa con un punto en lugar de una coma), el operador de módulo se denota como .

Véase también

Notas

  1. ↑ Estándar Unicode . Consultado el 16 de mayo de 2021. Archivado desde el original el 13 de mayo de 2011.
  2. ↑ CTAN Comprehensive TEX Archive Network, Directorio - macros/latex/contrib/turnstile . Consultado el 16 de mayo de 2021. Archivado desde el original el 17 de mayo de 2021.
  3. ↑ Martín-Lof, 1996 , págs. 6, 15
  4. ↑ Capítulo 6, Teoría del lenguaje formal . Consultado el 16 de mayo de 2021. Archivado desde el original el 4 de abril de 2018.
  5. ↑ Troelstra y Schwichtenberg, 2000
  6. ↑ Dirk van Dalen, Lógica y estructura (1980), Springer, ISBN 3-540-20879-8 . Ver Capítulo 1, sección 1.5.
  7. ↑ Peter Selinger, Apuntes sobre el cálculo Lambda . Consultado el 16 de mayo de 2021. Archivado desde el original el 6 de mayo de 2021.
  8. ↑ Schmidt, 1994
  9. ↑ funtor adjunto en nLab . Consultado el 16 de mayo de 2021. Archivado desde el original el 13 de mayo de 2021.
  10. ↑ FunctorFact. Functor Fact en Twitter . [tuit] . Twitter (5 de julio de 2016) .
  11. ↑ Iverson, diccionario APL . Consultado el 16 de mayo de 2021. Archivado desde el original el 25 de abril de 2020.
  12. ↑ Iverson, 1987
  13. ↑ Stanley, Richard P. Combinatoria enumerativa. — 1er. -Cambridge: Cambridge University Press, 1999. -Vol. vol. 2.- Pág. 287.
  14. ↑ fx-92 Speciale College Mode d'emploi . - CASIO COMPUTER CO., LTD., 2015. - P. 12. Archivado el 16 de abril de 2021 en Wayback Machine .
  15. ↑ Cálculos del resto - Manual del usuario de Casio fx-92B [Página 13 | ManualsLib] . www.manualslib.com . Consultado el 24 de diciembre de 2020. Archivado desde el original el 16 de mayo de 2021.

Enlaces