Negasjoner refererer til handlingen eller prosessen med å benekte, avvise eller erklære noe som ikke sant eller ikke eksisterende. Innen logikk refererer negasjoner til operatorer som endrer sannhetsverdien til en utsagn fra sann til usann, eller vice versa.