negasjon – logikk

Hvis «p» står for et utsagn, står «ikke-p» for negasjonen av p. Hvis p er sann, er ikke-p falsk, og omvendt. I moderne formal logikk uttrykkes negasjon gjerne ved et negasjonstegn (f.eks. ∼ eller ¬) som settes foran det som skal benektes. F.eks. «∼(Det regner)» betyr «Det er ikke tilfelle at det regner».