Тройник (символ) - Tee (symbol)
В тройник (⊤, верх в Латекс,), также называемый вниз галс (в отличие от вверх галс ) или же Verum это символ используется для обозначения:
- В верхний элемент в теория решетки.
- В значение истины быть правдой в логика, или предложение (например, формула в пропозициональное исчисление ), что безусловно верно.[1][2][3][4] По определению каждый тавтология является логически эквивалентный к истине.
- В верхний тип в теория типов.
- Смешанная система счисления кодирование в Язык программирования APL.
Аналогичный надстрочный индекс T может использоваться для обозначения транспонировать матрицы.[5]
Кодирование
В Unicode, символ тройника кодируется как U + 22A4 ⊤ ВНИЗ (HTML⊤ · & DownTee ;, & top;).[6] Символ закодирован в Латекс в качестве верх.
Смотрите также
Примечания
- ^ «Исчерпывающий список логических символов». Математическое хранилище. 2020-04-06. Получено 2020-08-14.
- ^ "тавтология | Определение и факты". Энциклопедия Британника. Получено 2020-08-14.
- ^ «Определение ТАВТОЛОГИИ». www.merriam-webster.com. Получено 2020-08-14.
- ^ Вайсштейн, Эрик В. «Тавтология». mathworld.wolfram.com. Получено 2020-08-14.
- ^ «Сборник математических символов». Математическое хранилище. 2020-03-01. Получено 2020-08-14.
- ^ «Математические операторы - Юникод» (PDF). Получено 2013-07-20.
 Философский портал Математический портал | ||||||||||||||||
 | Этот логика -связанная статья является заглушка. Вы можете помочь Википедии расширяя это. |
 | Эта статья по математике заглушка. Вы можете помочь Википедии расширяя это. |