Negasi

operasi yang mengubah proposisi P menjadi proposisi "tidak P", ditulis ¬p, yang dapat diartikan secara intuitif sebagai benar saat P bernilai salah, dan salah saat P benar.
Revisi sejak 8 Juni 2022 15.51 oleh Dedhert.Jr (bicara | kontrib) (mengubah tampilan halaman)

Templat:Infobox logical connective

Dalam logika, 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.[1][2] 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 .

Referensi

  1. ^ Weisstein, Eric W. "Negation". mathworld.wolfram.com (dalam bahasa Inggris). Diakses tanggal 2020-09-02. 
  2. ^ "Logic and Mathematical Statements - Worked Examples". www.math.toronto.edu. Diakses tanggal 2020-09-02.