Символ ¬ отрицание
¬ - знак отрицания: горизонтальная черта с хвостиком вниз. Запись ¬A читают «не A»: она истинна, когда A ложно.
- Код
- U+00AC
- В HTML
- ¬
- Alt-код
- Alt + 0172
- Ещё называют
- отрицание, логическое НЕ, инверсия, not
Что означает «¬»
В классической логике отрицание меняет истинность на противоположную: если A истинно, ¬A ложно, и наоборот. Двойное отрицание ¬¬A равносильно A.
В учебниках отрицание пишут и чертой над буквой: Ā. Смысл тот же, но черту над произвольной буквой в обычный текст поставить сложнее, поэтому в строку удобнее ¬.
В программировании обозначение зависит от языка: например, в JavaScript используют !done, а в Python - not done. Математический знак ¬ не заменяет эти операторы в коде.
- Логика. ¬A - «не A».
- Законы де Моргана. ¬(A ∧ B) ≡ ¬A ∨ ¬B.
- Таблицы истинности. Столбец с отрицанием.
Как «¬» выглядит в тексте
- ¬(A ∧ B) ≡ ¬A ∨ ¬B Закон де Моргана
- ¬¬A ≡ A Двойное отрицание
- ¬∃x P(x) ≡ ∀x ¬P(x) Отрицание квантора
Как писать «¬» правильно
- ¬ - перед высказыванием, без пробела: ¬A.
- Скобки, если отрицание относится к выражению: ¬(A ∨ B).
- В коде используйте оператор выбранного языка: например, ! в JavaScript или not в Python.
- Писать ¬A ∧ B, имея в виду ¬(A ∧ B): без скобок отрицание относится только к A.
- Принимать ¬A за отрицательное число −A: логическое отрицание и смена знака числа - разные операции.
«¬» и похожие знаки
| Знак | Чем отличается |
|---|---|
| ! Восклицательный знак | Отрицание в C, JavaScript и других языках. |
| ~ Тильда | В некоторых учебниках обозначает НЕ; в JavaScript и Python это побитовое отрицание. |
| − Минус | Знак вычитания, не логическая операция. |
Как поставить «¬» на клавиатуре
В Windows зажмите Alt и наберите 0172 на цифровом блоке при включённом Num Lock. В Word для Windows также можно ввести 00AC с латинскими A и C и нажать Alt + X. На Mac с раскладкой США - Option + L. В британской раскладке Windows знак вводится с Shift на клавише слева от 1.
Быстрее всего нажать «Копировать» выше и вставить знак: Ctrl + V, а на Mac - Command + V. Если знак нужен часто, его удобнее набирать самому. Alt-код набирают на цифровом блоке справа при включённом Num Lock: зажмите Alt, наберите число и отпустите Alt. На ноутбуке без цифрового блока этот способ обычно не работает.
| Windows, Alt-код | Alt + 0172 |
|---|---|
| Windows 10 и 11 | Win + ., затем раздел символов Ω: знаки разложены по темам |
| macOS | Control + Command + Пробел, затем найдите знак в панели символов |
| Microsoft Word | 00AC, затем Alt + X |
| Linux с GNOME | Ctrl + Shift + U, затем 00ac и Enter |
Коды «¬» для HTML и программ
Эти записи вставляют в код страницы или программы, если сам знак набрать неудобно. Именованной мнемоники у этого знака нет. В HTML можно написать сам знак или его числовой код.
| Unicode | U+00AC | |
|---|---|---|
| HTML, десятичный | ¬ | |
| HTML, шестнадцатеричный | ¬ | |
| CSS, внутри строки content | \AC | |
| JavaScript, JSON, Java, C# | \u00AC | |
| Python | \u00AC | |
| UTF-8, байты | C2 AC | |
| В адресе страницы | %C2%AC |
Вопросы о символе «¬»
Как поставить ¬ с клавиатуры?
В Windows - Alt-код 0172 на цифровом блоке при включённом Num Lock. На Mac с раскладкой США - Option + L. Можно также скопировать знак с этой страницы.
Чем ¬A отличается от Ā?
В логических формулах оба способа могут обозначать отрицание A. За пределами логики черта над буквой имеет и другие значения, поэтому важен контекст.
Как читается ¬?
«Не» или «неверно, что». ¬A - «не A».