Логическое отрицание (инверсия)

Присоединение частицы «не» к высказыванию называется операцией логического отрицания или инверсией.

Логическое отрицание (инверсия) делает истинное высказывание ложным и, наоборот, ложное — истинным.

Пусть А = «Два умножить на два равно четырем» — истинное высказывание, тогда высказывание F = «Два умножить на два не равно четырем», образованное с помощью операции логического отрицания, — ложно.

Операцию логического отрицания (инверсию) над логическим высказыванием А в алгебре логики принято обозначать! А. Образуем высказывание F, являющееся логическим отрицанием А:

F = !А.

Истинность такого высказывания задается таблицей истинности функции логического отрицания (табл. 3.3).

Таблица 3.3. Таблица истинности функции логического отрицания

A	F=!A
0	1
1	0

Истинность высказывания, образованного с помощью операции логического отрицания, можно легко определить с помощью таблицы истинности. Например, высказывание «Два умножить на два не равно четырем» ложно (А = 0), а полученное из него в результате логического отрицания высказывание «Два умножить на два равно четырем» истинно (F = 1).