Negasjon, nektelse.

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 (for eksempel ∼ eller ¬) som settes foran det som skal benektes. For eksempel «∼(Det regner)» betyr «Det er ikke tilfelle at det regner».

Foreslå endringer i tekst

Foreslå bilder til artikkelen

Kommentarer

Har du spørsmål om artikkelen? Skriv her, så får du svar fra fagansvarlig eller redaktør.

Du må være logget inn for å kommentere.