Отрицание

У этого термина существуют и другие значения, см. Отрицание (значения).

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

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

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

Схемотехника

Основная статья: Логические элементы — отрицание

Инвертор

$A$	$B=\bar A$
0	1
1	0

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

• "1" тогда и только тогда, когда на входе «0»,
• "0" тогда и только тогда, когда на входе «1»

См. также

• Дизъюнкция
• Конъюнкция
• Импликация
• Логический элемент
• Алгебра логики
• Логическое следование

В этой статье не хватает ссылок на источники информации. Информация должна быть проверяема, иначе она может быть поставлена под сомнение и удалена. Вы можете отредактировать эту статью, добавив ссылки на авторитетные источники. Эта отметка установлена 14 мая 2011.