Tee (símbolo)

Símbolo tipográfico que se asemeja a una "T"

El 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

• Torniquete (⊢)
• Vuelta hacia arriba (⊥)
• Lista de símbolos lógicos
• Lista de símbolos matemáticos

Notas

1. 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.
2. "tautología | Definición y hechos". Enciclopedia Británica . Consultado el 14 de agosto de 2020 .
3. "Definición de TAUTOLOGÍA". www.merriam-webster.com . Consultado el 14 de agosto de 2020 .
4. Weisstein, Eric W. "Tautología". mathworld.wolfram.com . Consultado el 14 de agosto de 2020 .
5. "Operadores matemáticos – Unicode" (PDF) . Consultado el 20 de julio de 2013 .