In logic and mathematics, negation, also called logical complement, is an operation on propositions, truth values, or semantic values more generally. Intuitively, the negation of a proposition is true when that proposition is false, and vice versa. In classical logic negation is normally identified with the truth function that takes truth to falsity and vice versa. In intuitionistic logic, according to the Brouwer–Heyting–Kolmogorov interpretation, the negation of a proposition p is the proposition whose proofs are the refutations of p. In Kripke semantics where the semantic values of formulae are sets of possible worlds, negation is set-theoretic complementation.

Negation (v. lat.: negare = verneinen) ist Ablehnung, Verneinung oder Aufhebung; verneint werden können zum Beispiel Aussagen, abgelehnt werden können zum Beispiel moralische Werte, aufgehoben werden können zum Beispiel Konventionen.

Negation est un comics publié par CrossGen, scénarisé par Mark Waid et Tony Bedard, et dessinée par Paul Pelletier, qui dura 28 épisodes incluant un Prequel.

Le mot négation est employé dans plusieurs domaines :

• en logique et mathématique, une négation est un opérateur unaire qui renverse la valeur de vérité de son opérande.
• en droit, une négation juridique ;
• en linguistique, une négation ;
• en psychologie, la négation est l'action d'ignorer ou de faire semblant d'ignorer un objet ;
  • notamment, en politique et en histoire, le négationnisme est la non-reconnaissance d'un fait avéré.
• Negation un comics de Crossgen

En logique et en mathématiques, la négation est un opérateur logique unaire, on dit aussi connecteur logique. Il sert à créer une proposition à partir d'une autre en en inversant la signification, de « vrai » en « faux » ou de « démontrable » en « non démontrable ».

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")

Negacja (inaczej zaprzeczenie) to zdanie mające postać nieprawda, że p, gdzie p jest zdaniem. W rachunku zdań negacja zapisywana jest jako: (lub ). Negację można zdefiniować ściślej jako jednoargumentowe działanie określone w zbiorze zdań, które każdemu zdaniu p przyporządkowuje zdanie nieprawda, że p. Negację zdania p uważa się za prawdziwą, gdy zdanie p jest fałszywe, zaś za fałszywą, gdy zdanie p jest prawdziwe.