Negasi itu apa sih?

Dalam logika matematika, negasi atau ingkaran adalah sebuah operasi yang mengambil proposisi  ke proposisi lain "yang bukan ". Negasi dinyatakan dalam notasi ,  atau . Secara intuitif, operasi ini dipandang benar ketika  salah, dan salah ketika  benar. Jadi, negasi merupakan operasi logika uner.

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  adalah proposisi yang buktinya merupakan penyangkalan .