negation

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.) – Vardags­språkets inte och logikens negation används inte alltid på samma sätt. Logikens negation kan ofta översättas med ”allt utom”. Skill­naden blir uppenbar när man använder NOT i en sökmotor på webben. (Sök­motorer brukar följa logikens regler.) Söker man på ”NOT Skanör” så får man träff på alla de miljarder webb­sidor som inte nämner Skanör. Men i var­dags­språket betyder ”inte Skanör” antag­li­gen Falsterbo. – En sannings­­värde­­tabell för negation är enkel:

”Påståendet A är falskt” (¬A) :

A ¬A
sant falskt
falskt sant

[logik] [ändrad 24 april 2019]