Отрицание: различия между версиями

| Название = Отрицание

| Другое название = НЕ, NOT

|Определение ДНФ = <math>\overline{x}</math>

|T0 КНФ = =Нет<math>\overline{x}</math>

|L Сохраняет 0 = =ДаНет

|S Сохраняет 1 = =ДаНет

|M Монотонна = =Нет

|ДНФ Линейна = =<math>\overline{x}</math>Да

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

Как в [[Классическая логика|классической]], так и в [[интуиционизм|интуиционистской]] логике «двойное отрицание» ¬¬A является следствием<!-- ну не скажешь же «свойством»? не поймут --> суждения A, то есть имеет место [[тавтология (логика)|тавтология]]:

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

* «1» [[Тогда и только тогда|тогда и только тогда]], когда на входе «0»,