Hispanopedia WikiEl tee ( ⊤ , \topen LaTeX ), también llamado down tack (a diferencia de up tack ) o verum , [1] es un símbolo utilizado para representar:
- El elemento superior de la teoría reticular .
- El valor de verdad de ser verdadero en lógica , o una oración (por ejemplo, una fórmula en cálculo proposicional ) que es incondicionalmente verdadera. [2] [3] [4] Por definición, toda tautología es lógicamente equivalente al verum.
- El tipo superior en la teoría de tipos .
- Codificación de radix mixto en el lenguaje de programación APL .
- Una fonética reducida en el Alfabeto Fonético Internacional y la fonética . En este uso, se suele escribir bajo el símbolo primario del AFI.
Se puede usar un superíndice T de aspecto similar para indicar la transposición de una matriz.
Codificación
En Unicode , el carácter tee está codificado como U+22A4 ⊤ DOWN TACK ( ⊤, ⊤ ). [5] El símbolo está codificado en LaTeX como .
\top
Una variante grande se codifica como U+27D9 ⟙ LARGE DOWN TACK en el bloque Unicode Símbolos matemáticos varios-A .
Véase también
Notas
- ^ Polkowski, Lech T. (2023). "Lógica: libro de referencia para científicos informáticos". Biblioteca de referencia de sistemas inteligentes . 245 : 180. doi :10.1007/978-3-031-42034-4. ISBN 978-3-031-42033-7. ISSN 1868-4394.
- ^ "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 .
- ^ "Operadores matemáticos – Unicode" (PDF) . Consultado el 20 de julio de 2013 .