Тройник (символ)
(Перенаправлено с Верума )
Тройник ( ⊤ , \top в LaTeX ), также называемый down tack (в отличие от up tack ) или verum , [1] это символ , используемый для обозначения:
- Верхний элемент теории решеток .
- Истинное значение истинности в логике или предложения (например, формулы в исчислении высказываний ), которое является безусловно истинным. [2] [3] [4] По определению, каждая тавтология истине логически эквивалентна .
- Высший тип в теории типов .
- Смешанное кодирование по системе счисления в языке программирования APL .
- Пониженная в фонетика Международном фонетическом алфавите и фонетике . В этом случае его обычно пишут под основным символом IPA.
Подобный верхний индекс T может использоваться для обозначения транспонирования матрицы.
Кодирование
[ редактировать ]В Юникоде символ тройника кодируется как U + 22A4 ⊤ ВНИЗ ( ⊤, ⊤ ). [5] Символ закодирован в LaTeX как \top.
Большой вариант кодируется как U + 27D9 ⟙ БОЛЬШАЯ ПРИНИЗКА в блоке Юникода « Разные математические символы-A» .
См. также
[ редактировать ]Примечания
[ редактировать ]- ^ Полковски, Лех Т. (2023). «Логика: Справочник для компьютерщиков» . Справочная библиотека по интеллектуальным системам . 245 : 180. дои : 10.1007/978-3-031-42034-4 . ISBN 978-3-031-42033-7 . ISSN 1868-4394 .
- ^ «Тавтология | Определение и факты» . Британская энциклопедия . Проверено 14 августа 2020 г.
- ^ «Определение тавтологии» . www.merriam-webster.com . Проверено 14 августа 2020 г.
- ^ Вайсштейн, Эрик В. «Тавтология» . mathworld.wolfram.com . Проверено 14 августа 2020 г.
- ^ «Математические операторы – Юникод» (PDF) . Проверено 20 июля 2013 г.
 | Эта логике статья, посвященная , незавершена . Вы можете помочь Википедии, расширив ее . |