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 ».