La camiseta ( ⊤ , \top
en LaTeX ) también llamada tachuela hacia abajo (a diferencia de la tachuela hacia arriba ) o verum es un símbolo que se usa para representar:
- El elemento superior de la teoría de la celosía .
- El valor de verdad de ser verdadero en lógica , o una oración (por ejemplo, fórmula en cálculo proposicional ) que es incondicionalmente verdadero. [1] [2] [3] [4] Por definición, toda tautología es lógicamente equivalente al verum.
- El mejor tipo en teoría de tipos .
- Codificación de base mixta en el lenguaje de programación APL .
Se puede usar un superíndice T de apariencia similar para significar la transposición de una matriz. [5]
Codificación
En Unicode , el carácter tee está codificado como U + 22A4 ⊤ DOWN TACK (HTML ⊤
· &DownTee, &top
). [6] El símbolo está codificado en LaTeX como \top
.
Ver también
Notas
- ^ "Lista completa de símbolos lógicos" . Bóveda de matemáticas . 2020-04-06 . Consultado el 14 de agosto de 2020 .
- ^ "tautología | Definición y hechos" . Enciclopedia Británica . Consultado el 14 de agosto de 2020 .
- ^ "Definición de TAUTOLOGÍA" . www.merriam-webster.com . Consultado el 14 de agosto de 2020 .
- ^ Weisstein, Eric W. "Tautología" . mathworld.wolfram.com . Consultado el 14 de agosto de 2020 .
- ^ "Compendio de símbolos matemáticos" . Bóveda de matemáticas . 2020-03-01 . Consultado el 14 de agosto de 2020 .
- ^ "Operadores matemáticos - Unicode" (PDF) . Consultado el 20 de julio de 2013 .