WikiSort.ru - Не сортированное

Отрицание
НЕ, NOT
Определение	${\displaystyle {\overline {x}}}$
Таблица истинности	${\displaystyle (10)}$
Логический вентиль
Нормальные формы
Дизъюнктивная	${\displaystyle {\overline {x}}}$
Конъюнктивная	${\displaystyle {\overline {x}}}$
Полином Жегалкина	${\displaystyle 1\oplus x}$
Принадлежность предполным классам
Сохраняет 0	Нет
Сохраняет 1	Нет
Монотонна	Нет
Линейна	Да
Самодвойственна	Да

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

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

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

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

${\displaystyle A}$	${\displaystyle {\bar {A}}}$
0	1
1	0

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

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

Это заготовка статьи по логике. Вы можете помочь проекту, дополнив её.

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