Negation

Logisk operator (Logisk grind)
Negation (NOT) Konjunktion (AND, NAND) Disjunktion (OR, XOR, NOR) Implikation Ekvivalens (XNOR)
Se även
Logisk operator (konnektiv) Sanningsfunktion Sanningsvärdetabell De Morgans lagar
Denna tabell: visa • redigera

Negation är i logiken ett förnekande av en sats på ett sådant sätt att, om satsen A är sann, så är icke-A falsk och om A är falsk, så är icke-A sann. Negationen av satsen A skrivs som ¬A, där ¬ är ett konnektiv. Negationen av satsen "Det regnar", är satsen "Det regnar inte".^[1]

I vardagsspråket motsvaras negation av orden "ej", "icke" eller "inte". Dessa betecknas i formella system med ¬ eller ibland med ~ , vilka skrivs framför påståendet. Mer explicit motsvaras negation av att uttrycket "det är inte så att..." sätts framför påståendet. Ett negerat påstående kan uttrycka två olika meningar:

1. Negation av ett påståendes betydelse bildar ett nytt påstående som uttrycker dess motsatta komplementära betydelse; Språkligt: "det är inte så att p", det vill säga "det är så att icke-p", Formellt: "¬p".
2. Negation av ett påståendes sanning bildar ett påstående som förnekar sanningen hos det ursprungliga påståendet. Språkligt: "det är inte så att det är sant att p" eller kortare "det är inte sant att p", det vill säga "det är falskt att p". Formellt: "Fp" (F = "det är falskt att").

Sammanblandning av dessa båda betydelser och vad som följer av det är en vanlig källa till filosofiska diskussioner.