Hispanopedia WikiLa tee ( ⊤ , \topen LaTeX ), también llamada puntada hacia abajo (en contraposición a la puntada hacia arriba ) o verum , [ 1 ] es un símbolo utilizado para representar:
- 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 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 .
- El elemento principal en la teoría de redes .
- Codificación de base mixta en el lenguaje de programación APL .
- Un fonético reducido en el Alfabeto Fonético Internacional y la fonética . En este uso, generalmente se escribe debajo del símbolo principal del AFI.
Un superíndice T de aspecto similar puede utilizarse para indicar la transpuesta de una matriz.
Codificación
En Unicode , el carácter tee se codifica como U+22A4 ⊤ DOWN TACK ( & DownTee;, & top; ) . [ 5 ] El símbolo se codifica 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" . Intelligent Systems Reference Library . 245 : 180. doi : 10.1007/978-3-031-42034-4 . ISBN 978-3-031-42033-7ISSN 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 .
Categorías :
- Símbolos lógicos
- Símbolos tipográficos
- Lógica básica