логическое отрицание (лат. inversio – переворачивание)

инверсия – это операция (применимая к одному высказыванию), результат выполнения которой истинен, если высказывание ложно, и наоборот – ложен, если высказывание истинно

обозначение операции: Ā, ¬A, не A, not A

таблица истинности (таблица, определяющая значения операции при разных комбинациях значений исходных высказываний):

A	Ā
0	1
1	0

графическая иллюстрация с помощью диаграмм Эйлера:

арифметическая модель: 1-A

логическая связка: «…не…», «неверно, что…»

примеры:

имеем высказывание A

A: {Москва – столица России} – истинное высказывание, т.е. A=1

Применим операцию инверсия к высказыванию A, и получим, что Ā=0, Ā: {Москва не является столицей России}

Y: {Рим – столица Парижа}

Y=0

Ȳ=1

Ȳ: {Неверно, что Рим – столица Парижа}