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

   Логическая связка ИНВЕРСИЯ (от лат. inversion - переворачиваю).

 

   Название – отрицание.

 

   Обозначение:

     в алгебре высказываний A или ¬A,

     в языках программирования обозначение Not. 

 

   В естественном языке ему соответствует выражение "неверно, что . . .", относящееся ко всему высказыванию, или присоединение союза "не" к некоторой части простого высказывания.

 

  Например, высказывание "Число 10 – четное"= ИСТИНА, отрицанием его является высказывание "Число 10 – нечетное"= ЛОЖЬ.

  Или высказывание "Число 10  - отрицательное" = ЛОЖЬ, его отрицание "Неверно, что число 10 - отрицательное" = ИСТИНА.

 

  Отрицанию соответствует следующая таблица истинности:

A	¬A
1	0
0	1

 

Вывод:  результат будет ложным, если исходное

 

выражение истинно, и наоборот.

 

 

    В алгебре множеств логическому отрицанию соответствует операция дополнения до универсального множества, т.е. множеству получившемуся в результате отрицания множества А соответствует множество , дополняющее его до универсального множества.