logikens inte. – I boolesk algebra brukar det heta NOT. I formell logik används tecknet ¬ eller ~ (tilde) för negation. (Det förekommer också andra tecken för negation.) – Vardagsspråkets inte och logikens negation används inte alltid på samma sätt. Logikens negation kan ofta översättas med ”allt utom”. Skillnaden blir uppenbar när man använder NOT i en sökmotor på webben. (Sökmotorer brukar följa logikens regler.) Söker man på ”NOT Skanör” med en sökmotor så får man träff på alla de miljarder webbsidor som inte nämner Skanör. Men i vardagsspråket betyder ”inte Skanör” antagligen Falsterbo. – En sanningsvärdetabell för negation är enkel:
”Påståendet A är falskt” (¬A) :
| A | ¬A |
| sant | falskt |
| falskt | sant |
[logik] [ändrad 10 december 2019]