Негација: Разлика помеѓу преработките

! A !! notне A

На пример, ако ''p'' го означува исказот „денес е Сабота“, тогаш неговата негација ~''p'' ќе бидсебиде исказот „денес не е Сабота“.

Логичката негација може да се дефинира преку други логички операции. На пример, ~''p'' може да се дефинира како ''p'' → ''F'', каде → е [[материјална импликација]] и ''F'' е апсолутна неточност. ConverselyОбратно, oneможеме да canго defineдефинираме ''F'' asкако ''p'' & ~''p'' forза anyсекој propositionисказ ''p'', whereкаде & isе [[logicalлогичка conjunctionконјукнција]]. Идејата Theтука ideaе hereдека is that anyсекоја [[contradictionконтрадикција]] isе falseнеточна. Додека Whileовие theseпоими ideasработат workи inво bothкласичната classicalи andво intuitionisticинтуитистичката logicлогика, theyистите don'tне workработат inво [[BrazilianБразилска логика|Бразилската logicлогика]], whereкаде contradictionsне areмора notда necessarilyзначи false.дека контрадикциите Butсе inневистинити. classicalНо logic,кај weкласичната логика, getдобиваме aуште furtherеден identityидентитет: ''p'' → ''q'' canможе да beсе definedдефинираат asкако ~''p'' ∨ ''q'', whereкаде ∨ isе [[logicalлогичка disjunctionдисјункција]].