einstellige extensionale Aussagenoperation, die mit „nicht“ (im Zeichen ¬) gekennzeichnet wird (Aussagenlogik), und die einer gegebenen Aussage A die Aussage „nicht A “ zuordnet.

In der klassischen Logik, für die das Prinzip der Zweiwertigkeit vorausgesetzt wird, ist die Negation der Negation einer Aussage logisch äquivalent (logisch äquivalente Formeln) zur Ausgangsaussage. Für Logiken, in der dieses Prinzip keine Gültigkeit besitzt, sind die Aussagen ¬(¬A) und A im allgemeinen nicht äquivalent.