Negasjon

Negasjon (av latin negatio) betyr nektelse og er en viktig sannhetsfunksjon i setningslogikken.
Hvis et utsagn er sant, er dets negasjon falsk, og motsatt.
Den symbolske skrivemåten for negasjonen av et utsagn A er

og uttales som «ikke-A» eller «negasjon av A».
I noen programmeringsspråk eller andre sammenhenger der særtegn ikke kan brukes, skrives også tilde («~») eller utropstegn («!») istedenfor «¬».
Også overstreking brukes av og til (f.eks. «»).

Negasjon er ikke det som man i hverdagsspråket betegner som motsetning.
Negasjonen av «denne ravnen er svart» er f.eks. ikke «denne ravnen er hvit», men «denne ravnen er ikke svart».
Det første utsagnet er nemlig også feil hvis ravnen f.eks. er grønn.
Likeledes er negasjonen av «alle ravner er svarte» ikke «ingen ravner er svarte», men «det fins minst én ravn som ikke er svart».

Logikk