Логическое НЕ также называется «логическим отрицанием» или же «инверсией».
Выполняется над одним логическим операндом.
Обозначение:
НЕ, минус или черточкой сверху, например:
![](http://logic.zhedunov.ru/wp-content/uploads/2020/12/image-5.png)
![](http://logic.zhedunov.ru/wp-content/uploads/2020/12/image-6.png)
Результат инверсии:
— если исходное утверждение ИСТИННО, то инверсное утверждение будет ЛОЖНО
— если исходное утверждение ЛОЖНО, то инверсное утверждение будет ИСТИННО
С этим иногда возникает путаница. Обратите внимание!
Если, например, исходное утверждение А = «В коробке находится больше 10-и карандашей» —
то обратное утверждение будет не
«В коробке находится меньше 10-и карандашей»
а
«В коробке находится меньше или ровно 10-и карандашей» .
Запомнили?
Таблица истинности логического НЕ
![](http://logic.zhedunov.ru/wp-content/uploads/2020/12/image-7.png)
или вот так:
![](https://logic.zhedunov.ru/wp-content/uploads/2020/12/inversed_video.gif)
Пример:
Погода хорошая (утверждение А)
Инверсное утверждение (НЕ-А) будет «Погода плохая»
То есть: В = -А
Еще примеры:
![](http://logic.zhedunov.ru/wp-content/uploads/2020/12/image-53.png)
![](http://logic.zhedunov.ru/wp-content/uploads/2020/12/image-54.png)
Схематическое обозначение инверсии:
![](http://logic.zhedunov.ru/wp-content/uploads/2020/12/image-8.png)