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