Loading AI tools
операция, меняющая значение на противоположное Из Википедии, свободной энциклопедии
Отрица́ние (инве́рсия, от лат. inversio — переворот, логи́ческое «НЕ») в логике — унарная операция над суждениями, результатом которой является суждение, «противоположное» исходному. Обозначается знаком ¬ перед или чертой — над суждением. Отрицание является обратной функцией идентичности.
Отрицание | |
---|---|
НЕ, NOT | |
| |
Определение | |
Таблица истинности | |
Логический вентиль | |
Нормальные формы | |
Дизъюнктивная | |
Конъюнктивная | |
Полином Жегалкина | |
Принадлежность предполным классам | |
Сохраняет 0 | Нет |
Сохраняет 1 | Нет |
Монотонна | Нет |
Линейна | Да |
Самодвойственна | Да |
Как в классической, так и в интуиционистской логике «двойное отрицание» является следствием суждения , то есть имеет место тавтология: .
Обратное утверждение верно в классической логике (закон двойного отрицания), но не имеет места в интуиционистской. То есть отрицание отрицания искомого утверждения не может служить интуиционистским доказательством, в отличие от классической логики. Это различие двух логических систем обычно полагается главным.
Отрицание позволяет определить ряд взаимно обратных (инверсионных) двоичных логических функций двух и более аргументов. Например:
0 | 1 |
1 | 0 |
Мнемоническое правило для отрицания звучит так: на выходе будет
В статье не хватает ссылок на источники (см. рекомендации по поиску). |
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.