Вверх галс
Этот раздел нуждается в дополнительных цитатах для проверки . ( май 2014 г. ) |
Верхний гвоздик или фальсум ( ⊥\bot в LaTeX , U+22A5 в Unicode [1] ) — это постоянный символ , используемый для представления:
- Истинностное значение «ложь» или логическая константа, обозначающая предложение в логике, которое всегда ложно (часто называется «ложь» или «абсурд»).
- Нижний элемент в теории колеса и теории решеток , который также представляет абсурд, когда используется для логической семантики.
- Нижний тип в теории типов , который является нижним элементом в отношении подтипа. Это может совпадать с пустым типом , который представляет абсурд в соответствии Карри–Ховарда
- «Неопределенное значение» в интерпретациях квантовой физики, которые отвергают контрфактическую определенность , как в ( r 0 ,⊥)
а также
Символ верхней гвоздики выглядит как перевернутый символ тройника и поэтому иногда называется eet (слово «tee» наоборот). [ необходима цитата ] Тройник играет дополнительную или двойную роль во многих из этих теорий.
Похожий на вид перпендикулярный символ ( ⟂\perp в LaTeX, U+27C2 в Unicode) — это двоичный символ отношения, используемый для представления:
- Перпендикулярность линий в геометрии
- Ортогональность в линейной алгебре
- Независимость случайных величин в теории вероятностей
- Взаимная простота в теории чисел
Символ двойного скрепления ( ⫫ , U+2AEB в Unicode [1] ) — это символ бинарного отношения, используемый для представления:
- Условная независимость случайных величин в теории вероятностей [2]
Смотрите также
Примечания
- ^ ab "Математические операторы – Unicode" (PDF) . Получено 20 июля 2013 г. .
- ^ "Обозначение условной независимости". 27 марта 2020 г.
