До липкости или константа ' ложь ( ⊥ , \bot
в LaTeX , U + 22A5 в Unicode [1] ) является постоянным символом используется для обозначения:
- Значение истинности «ложь» или логическая константа, обозначающая предложение в логике, которое всегда ложно (часто называемое «ложным» или «абсурдным»). [2]
- Нижний элемент в решетках теории , которая также представляет собой противную , когда используется для логической семантики
- Нижний типа в теории типа , который также представляет противный под корреспонденцией Карри-Говард
также как и
Глифы из галса вверх появляются как вверх-вниз тройник символа , и как таковые иногда называют EET (слово «тройник» в обратном). [ необходима цитата ] Ти играет дополнительную или двойную роль во многих из этих теорий.
Похож на виде перпендикулярен символ ( ⟂ , \perp
в латексе, U + 27C2 в Unicode) представляет собой бинарный символ отношения используется для представления:
- Перпендикулярность линий в геометрии
- Ортогональность в линейной алгебре
- Независимость от случайных величин в теории вероятностей
- Взаимопримущество в теории чисел
Символ двойной закрепки ( ⫫ , U + 2AEB в Unicode [3] ) - это постоянный символ, используемый для представления:
Смотрите также
Заметки
- ^ «Математические операторы - Юникод» (PDF) . Проверено 20 июля 2013 .
- ^ «Исчерпывающий список логических символов» . Математическое хранилище . 2020-04-06 . Проверено 14 августа 2020 .
- ^ «Математические операторы - Юникод» (PDF) . Проверено 20 июля 2013 .
- ^ [1]