Vuelta hacia arriba

El signo ascendente o falsum ( ⊥ , \boten LaTeX , U+22A5 en Unicode ^{[1] ) es un}símbolo constante utilizado 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 "falsum" o "absurdum").
El elemento base de la teoría de ruedas y de redes , que también representa el absurdo cuando se utiliza para la semántica lógica.
El tipo inferior en la teoría de tipos , que es el elemento inferior en la relación de subtipos. Esto puede coincidir con el tipo vacío , que representa el absurdo según la correspondencia de Curry-Howard
El "valor indefinido" en las interpretaciones de la física cuántica que rechazan la definición contrafáctica , como en ( r ₀ ,⊥)

así como

Decodificación de radio mixto en el lenguaje de programación APL

El glifo del up tack aparece como un símbolo de tee invertido y, como tal, a veces se lo 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 ( ⟂ , \perpen LaTeX, U+27C2 en Unicode) es un símbolo de relación binaria que se utiliza para representar:

Perpendicularidad de las líneas en geometría
Ortogonalidad en álgebra lineal
Independencia de variables aleatorias en la teoría de la probabilidad
Coprimalidad en la teoría de números

El símbolo de doble tachuela hacia arriba ( ⫫ , U+2AEB en Unicode ^[1] ) es un símbolo de relación binaria utilizado para representar:

Independencia condicional de variables aleatorias en la teoría de la probabilidad ^[2]

Véase también

Notas

^ ab "Operadores matemáticos – Unicode" (PDF) . Consultado el 20 de julio de 2013 .
^ "Notación de independencia condicional". 27 de marzo de 2020.