Логическое отрицание

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

Иногда вместо приведенного определения используют другое, ему эквивалентное: присоединение слов «Неверно, что...» ко всему данному высказыванию A называется операцией логического отрицания. В результате выполнения операции логического отрицания получается новое высказывание. Например:

Таблица истинности инверсии имеет вид: