Открыть главное меню

Отрица́ние (инве́рсия, от лат. inversio — переворот, логи́ческое «НЕ») в логике — унарная операция над суждениями, результатом которой является суждение (в известном смысле) «противоположное» исходному. Обозначается знаком ¬ перед или чертой над суждением.

Отрицание
НЕ, NOT
Определение
Таблица истинности
Логический вентиль Элемент НЕ (100).PNG
Нормальные формы
Дизъюнктивная
Конъюнктивная
Полином Жегалкина
Принадлежность предполным классам
Сохраняет 0 Нет
Сохраняет 1 Нет
Монотонна Нет
Линейна Да
Самодвойственна Да

Как в классической, так и в интуиционистской логике «двойное отрицание» является следствием суждения , то есть имеет место тавтология: .

Обратное утверждение верно в классической логике (закон двойного отрицания), но не имеет места в интуиционистской. То есть, отрицание отрицания искомого утверждения не может служить интуиционистским доказательством, в отличие от классической логики. Это различие двух логических систем обычно полагается главным.

СхемотехникаПравить

   
0 1
1 0

Мнемоническое правило для отрицания звучит так: на выходе будет