Тройник (символ)
(Перенаправлено с «Вниз» )
Тройник ( ⊤ , \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 г.
 | Эта логике статья, посвященная , незавершена . Вы можете помочь Википедии, расширив ее . |