La tachuela hacia arriba o falsum ( ⊥ , \bot
en LaTeX , U + 22A5 en Unicode [1] ) es un símbolo constante que se usa para representar:
- El valor de verdad 'falso', o una constante lógica que denota una proposición en lógica que siempre es falsa (a menudo llamada " falsa " o "absurda"). [2]
- El elemento inferior en la teoría de celosía , que también representa el absurdo cuando se usa para la semántica lógica.
- El tipo inferior en la teoría de tipos , que también representa el absurdo según la correspondencia Curry-Howard
así como
- Decodificación de radix mixta en el lenguaje de programación APL
El glifo de la tachuela hacia arriba aparece como un símbolo de tee al revés y, como tal, a veces se le llama eet (la palabra "tee" al revés). [ cita requerida ] Tee juega un papel complementario o dual en muchas de estas teorías.
El símbolo perpendicular de aspecto similar ( ⟂ , \perp
en LaTeX, U + 27C2 en Unicode) es un símbolo de relación binaria utilizado para representar:
- Perpendicularidad de líneas en geometría
- Ortogonalidad en álgebra lineal
- Independencia de las variables aleatorias en la teoría de la probabilidad
- Coprimalidad en la teoría de números
El símbolo de doble tachuela ( ⫫ , U + 2AEB en Unicode [3] ) es un símbolo constante que se utiliza para representar:
Ver también
Notas
- ^ "Operadores matemáticos - Unicode" (PDF) . Consultado el 20 de julio de 2013 .
- ^ "Lista completa de símbolos lógicos" . Bóveda de matemáticas . 2020-04-06 . Consultado el 14 de agosto de 2020 .
- ^ "Operadores matemáticos - Unicode" (PDF) . Consultado el 20 de julio de 2013 .
- ^ [1]