Вверх галс - Up tack
Эта статья нужны дополнительные цитаты для проверка.Май 2014 г.) (Узнайте, как и когда удалить этот шаблон сообщения) ( |
В вверх галс или же ложь (⊥, бот
в Латекс, U + 22A5 в Unicode[1]) - постоянная символ используется для обозначения:
- В значение истины 'ложь', или логическая константа, обозначающая предложение в логике, которое всегда ложный (часто называемый «ложным» или «абсурдным»).[2]
- В нижний элемент в теория решетки, который также представляет собой абсурд, когда используется для логической семантики
- В нижний тип в теория типов, который также представляет собой абсурд под Переписка Карри – Ховарда
а также
- Смешанный корень расшифровка в Язык программирования APL
В глиф перевернутой кнопки отображается как перевернутая символ тройника, и поэтому иногда называется восточноевропейское время (слово «тройник» наоборот).[нужна цитата ] Футболка играет дополнительную или двойной роль во многих из этих теорий.
Похожий на вид перпендикулярный символ (⟂, перп
в LaTeX, U + 27C2 в Unicode) - это двоичный символ отношения, используемый для представления:
- Перпендикулярность строк в геометрия
- Ортогональность в линейная алгебра
- Независимость из случайные переменные в теория вероятности
- Копрималити в теория чисел
В двойная закрепка символ (⫫, U + 2AEB в Unicode[3]) - постоянная символ используется для обозначения:
Смотрите также
Примечания
- ^ «Математические операторы - Юникод» (PDF). Получено 2013-07-20.
- ^ «Исчерпывающий список логических символов». Математическое хранилище. 2020-04-06. Получено 2020-08-14.
- ^ «Математические операторы - Юникод» (PDF). Получено 2013-07-20.
- ^ [1]