Dalam logika dan bidang teknik yang memakainya, negasi, atau tidak, adalah operator logika dalam kalkulus proposisional.
Hasil dari dua proposisi juga disebut negasi mereka.
Hasil negasi adalah benar jika proposisinya salah; jika tidak, hasilnya adalah salah.
