Тройник (символ)

Типографский символ, напоминающий букву «Т».

Тройник ( ⊤ в LaTeX ), также называемый нижней закрепкой (в отличие от верхней закрепки ) или verum , ^[1] — это символ , используемый для обозначения:\top

• Верхний элемент теории решеток .
• Истинное значение истинности в логике или предложения (например, формулы в исчислении высказываний ), которое является безусловно истинным. ^{[2] [3] [4]} По определению, каждая тавтология логически эквивалентна истине .
• Высший тип в теории типов .
• Смешанное кодирование по системе счисления в языке программирования APL .
• Пониженная фонетика в Международном фонетическом алфавите и фонетике . В этом случае его обычно пишут под основным символом IPA.

Подобный верхний индекс T может использоваться для обозначения транспонирования матрицы.

Кодирование

В Юникоде символ тройника кодируется как U+22A4 ⊤ DOWN TACK ( ⊤, ⊤ ). ^[5] Символ кодируется в LaTeX как .\top

Большой вариант кодируется как U+27D9 ⟙ LARGE DOWN TACK в блоке Unicode «Разные математические символы-A» .

Смотрите также

• Турникет (⊢)
• Вверх (⊥)
• Список логических символов
• Список математических символов

Примечания

1. Полковски, Лех Т. (2023). «Логика: Справочник для компьютерщиков». Справочная библиотека по интеллектуальным системам . 245 : 180. дои : 10.1007/978-3-031-42034-4. ISBN 978-3-031-42033-7. ISSN  1868-4394.
2. "Тавтология | Определение и факты" . Британская энциклопедия . Проверено 14 августа 2020 г.
3. «Определение тавтологии». www.merriam-webster.com . Проверено 14 августа 2020 г.
4. Вайсштейн, Эрик В. «Тавтология». mathworld.wolfram.com . Проверено 14 августа 2020 г.
5. «Математические операторы - Юникод» (PDF) . Проверено 20 июля 2013 г.