Как установить отрицание в документе Word

Логическая операция инверсия — унарная операция над высказываниями, в результате выполнения которой высказывание становится противоположным исходному высказыванию.

Другие названия отрицания — отрицание или логическое НЕ.

Инверсия или отрицание изучается в информатике при рассмотрении раздела алгебра логики.

В естественных языках отрицанию соответствует частица ‘не’ или слова ‘неверно, что’. Например, если высказывание A = ‘Москва — столица России’, то его отрицание будет звучать как ‘Москва не столица России’.

В языках программирования для отрицания используют обозначение ‘ not ‘ или восклицательный знак ‘ ! ‘ (например, not(x = 5) или !(x<3) ).

Для обозначения отрицания используют символ ¬ или черту над высказыванием. Например, отрицание A можно обозначить либо ¬A , либо overline.

Как набрать знак инверсии на клавиатуре

В Word чтобы набрать символ ¬ необходимо нажать левый Alt, и удерживая его на цифровой клавиатуре (которая справа клавиатуры) набрать цифры 0172. Т. е. символ ¬ — это Alt+0172 . Режим Num Lock должен быть включен.

Чтобы сделать черту над буквой, необходимо зайти в пункт меню Вставка -> Формула (или Уравнение). После этого на панели инструментов найти диакритические знаки и среди них нужный нам знак с чертой над буквой.

Таблица истинности инверсия

Отрицание и круги Эйлера

Обозначим высказывание A кругом, тогда отрицание A будет располагаться снаружи круга.

Знак отрицания ¬

Символ «Знак отрицания» входит в подраздел «Символы и знаки препинания Latin-1» раздела «Дополнение к латинице — 1» и был утвержден как часть Юникода версии 1.1 в 1993 г.

Синонимы

angled dash (in typography).

больше
Техническая информация
Свойства
Кодировка

Похожие символы

Знак отрицания входит в коллекции:
Математические знаки
00AB Открывающая левая кавычка «ёлочка»
00AD Мягкий перенос
(◕‿◕) SYMBL

Все изображения Emoji и символов на сайте предназначены исключительно для информационных целей, права принадлежат их авторам и не могут быть использованы для коммерческих целей без их согласия.

Все названия символов являются официальными названиями Юникод®. Указанные номера символов являются частью стандарта Юникод.

Некоторые математические символы

Для корректного отображения символов на вашем компьютере должны быть установлены шрифты: Symbol, MT Extra , Arial Unicode MS . Последний можно найти в дистрибутиве Microsoft Office 2000 и выше.

Набор в MS Word. Чтобы присвоить букве шрифт Symbol, нужно ее выделить и нажать горячую клавишу Shift+Ctrl+Q. Вообще, набор греческих букв проще производить именно так, запомнив соответствие латинских и греческих букв.

Оно основывается на сходстве начертания (jqh → φθη) или фонетических признаках (abgd → αβγδ) . Чтобы набрать символ кодом, нужно нажать клавишу Alt и, удерживая её ввести нужный четырехзначный код на правой цифровой клавиатуре. Num Lock должен быть включен!

Такой набор работает в большинстве Windows-приложений Если известно шестнадцатеричное значение символа (HEX), то его можно набрать в нужном месте, а затем нажать клавиатурное сочетание Alt+x. Число будет преобразовано в символ. При этом будет подобран шрифт, содержащий «полный» набор Unicole. Шестнадцатеричные значения математических и многих других символов можно найти на официальной странице www.unicode.org. Для некоторых ситуаций остается только один выход — использовать специализированную математическую программу: Equation Editor или, лучше, MathType и т.п.