Negasi

Dalam logika matematika, negasi atau ingkaran adalah sebuah operasi yang mengambil proposisi $P$ ke proposisi lain "yang bukan $P$". Negasi dinyatakan dalam notasi $\neg P$, ${\mathord {\sim }}P$ atau ${\overline {P}}$. Secara intuitif, operasi ini dipandang benar ketika $P$ salah, dan salah ketika $P$ benar. Jadi, negasi merupakan operasi logika uner. Seandainya P sebuah pernyataan tunggal maka "~p" dibaca negasi p atau tidak p atau bukan p, adalah pernyataan majemuk.

Negasi dapat diterapkan sebagai operasi tentang gagasan, proposisi, nilai kebenaran, atau lebih umumnya, nilai semantik. Dalam logika klasik, negasi biasanya diidentifikasi dengan fungsi kebenaran yang mengambil kebenaran menjadi kepalsuan, begitupula sebaliknya. Namun dalam logika intuitionistik, menurut pandangan Brouwer–Heyting–Kolmogorov, negasi dari proposisi $P$ adalah proposisi yang buktinya merupakan penyangkalan $P$.