Символ ⊢ (Правый галс / Турникет): значение в логике и Юникоде
Символ ⊢ (Right Tack или «правый галс») — это математический оператор, который используется в формальной логике для обозначения синтаксической выводимости или доказательства. В научной среде его часто называют «турникетом». Если ты видишь запись вида `A ⊢ B`, это читается просто: «из утверждения A логически выводится утверждение B».
Откуда взялся этот знак, напоминающий положенную на бок букву «Т»? Своими корнями он уходит в конец XIX века. Немецкий логик и математик Готлоб Фреге в своем фундаментальном труде «Исчисление понятий» придумал сложную систему графических обозначений для формул. Современный символ ⊢ — это эволюционировавший и сильно упрощенный потомок того самого «штриха утверждения» Фреге. Сегодня он является золотым стандартом для записи логических выводов.
В таблице Юникода символ носит официальное название RIGHT TACK. Найти его можно в блоке «Математические операторы» (Mathematical Operators). Кодовая точка символа — U+22A2.
Где и как используется этот знак сегодня? В чистой математике и логике ⊢ показывает, что теорему можно доказать по строгим правилам системы (это называется синтаксическим выводом). В computer science и программировании символ обожают специалисты по теории типов. Если ты когда-нибудь решишь погрузиться в продвинутые языки программирования вроде Haskell или системы доказательства теорем, будешь встречать ⊢ постоянно. Там он разделяет контекст и само утверждение о типе.
В соцсетях, Telegram или комментариях в TikTok этот символ встретить сложно — если только ты не подписан на паблики про высшую математику. Тем не менее, любители олдскульных японских каомодзи (текстовых смайлов) иногда используют ⊢ в качестве странного носа или сурового рта при создании сложных мордочек из спецсимволов.
Как напечатать ⊢ на разных устройствах:
• В HTML-коде: используй комбинацию `⊢` или мнемонику `⊢`.
• На Windows: зажми клавишу Alt и набери 8866 на цифровом блоке (Numpad).
• На macOS: нажми Ctrl + Cmd + Space для вызова панели символов и введи в поиске «tack» или «vdash».
• В LaTeX: для набора формул используется команда `\vdash`.
Самый простой и универсальный способ для любой платформы — просто скопировать символ ⊢ отсюда.
У правого галса есть целое семейство похожих знаков, которые легко перепутать:
• ⊣ (Left Tack, U+22A3) — левый галс, смотрит в обратную сторону.
• ⊨ (Double Turnstile, U+22A8) — двойной турникет. В отличие от нашего героя, он означает семантическое следствие (то есть «всегда истинно» при заданных условиях).
• ⊥ (Up Tack, U+22A5) — перевернутый знак, который в логике означает ложь, а в геометрии — перпендикулярность.