En logique et en mathématiques, la négation est un opérateur logique unaire. Il sert à nier une proposition.