Символ ⊭: Что означает знак «Не истинно» и как его использовать
Символ ⊭ (U+22AD) означает «не истинно», «не является моделью» или «не следует». В математической логике этот знак называют перечёркнутым двойным штопором (от английского double turnstile). Он показывает, что определённое утверждение семантически не выводится из заданных условий, или что конкретная модель не удовлетворяет формуле. Проще говоря, если ты видишь ⊭ — значит, логическое доказательство сломалось, теория не подтвердилась, и одно из другого никак не вытекает.
Этот знак живёт в стандарте Юникод в блоке «Математические операторы» (Mathematical Operators). Его кодовая позиция — U+22AD, а официальное английское название — Not True (Не истинно). Визуально это вертикальная черта с двумя отходящими вправо горизонтальными линиями, поверх которых наложена косая черта — классический математический знак отрицания. Сам дизайн «штопора» восходит к трудам немецкого логика Готлоба Фреге из конца XIX века. В Юникод символ добавили в самых ранних версиях, чтобы ученые могли нормально верстать сложные научные статьи в интернете, не прибегая к вставке формул картинками.
Где ты можешь встретить этот символ? Главное место обитания ⊭ — учебники по высшей алгебре, теории множеств, семантике и формальной логике. В программировании и Computer Science он периодически мелькает в статьях по формальной верификации кода или при разработке систем искусственного интеллекта.
Но давай начистоту: в обычных Telegram-чатах, постах в VK или видео в TikTok его встретишь крайне редко. Тем не менее, это отличный инструмент для гиковского флекса. Символ можно использовать как изящный способ сказать «это полная чушь», «твои аргументы не работают» или отреагировать на очевидный фейк. Кто-то скинул в рабочую конфу сомнительную теорию о плоской Земле или непроверенный инсайд? Просто отправь в ответ ⊭. Это намного оригинальнее, чем писать капсом «ВРАНЬЁ».
Напечатать ⊭ на обычной QWERTY или ЙЦУКЕН-клавиатуре не получится — для него просто не предусмотрено отдельной кнопки. Самый надежный и быстрый способ использовать его в повседневной переписке — добавить эту страницу в закладки, чтобы скопировать и вставить символ при необходимости. В научной и студенческой среде, если ты пишешь диплом в системе LaTeX, этот знак генерируется командой `\nvDash`. Для веб-разработки и HTML-верстки используй десятичный код `⊭` или шестнадцатеричный `⊭`. Пользователи Windows могут вводить его в Microsoft Word: набери 22AD и сразу после этого нажми комбинацию Alt+X. На macOS можно воспользоваться встроенной панелью «Эмодзи и символы» (Control+Cmd+Space), введя в поиск «not true».
У ⊭ есть целое семейство логических родственников. Главный антагонист — символ ⊨ (U+22A8), тот самый классический двойной штопор, который гордо заявляет: «истинно» или «логически следует». Помимо него существует одинарный штопор ⊢ (U+22A2), который обозначает синтаксический вывод — то есть факт того, что утверждение можно доказать строго по правилам системы. Если перечеркнуть одинарный штопор, получится ⊬ (U+22AC) — «не доказуемо». Для обывателя разница между ними кажется микроскопической, но для любого логика она критична: ⊭ говорит о смысле и сути происходящего (семантике), а ⊬ — лишь о формальных правилах игры (синтаксисе).