En logisk negation är ett påstående som uttrycker ett förnekande av ett påstående, ex: negationen till "det regnar" är "det regnar inte". I vardagsspråket motsvaras negation av orden "ej", "icke" eller "inte", och betecknas formellt med ¬ eller ibland med ~ framför påståendet. Inom matematik och programmering används även symbolen != för att beteckna "icke" eller "ej lika med". Mer explicit motsvaras negation av att "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", dvs "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 utsprungliga påståendet. Språkligt: "det är inte så att det är sant att p" eller kortare "det är inte sant att p", dvs "det är falskt att p". Formellt: "Fp" (F = "det är falskt att")