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