Dalam logika matematika, negasi adalah operasi yang menghasilkan nilai kebalikan dari suatu pernyataan. Ketika kita ingin menegasikan pernyataan majemuk yang berbentuk konjungsi ('P dan Q'), kita menggunakan Hukum De Morgan. Hukum ini menyatakan bahwa negasi dari ('P dan Q') adalah sama dengan ('bukan P' atau 'bukan Q'). Dengan kata lain, jika P dan Q keduanya harus benar agar pernyataan 'P dan Q' benar, maka negasinya benar jika setidaknya salah satu dari P atau Q salah.