Negasi: Perbedaan antara revisi

Dalam [[logika]] matematika, '''negasi''' atau '''ingkaran''' adalah sebuah [[Operasi (matematika)|operasi]] yang mengambil [[Proposisi (matematika)|proposisi]] <math>P</math> ke proposisi lain "yang bukan <math>P</math>". Negasi dinyatakan dalam notasi <math>\neg P</math>, <math>\mathord{\sim} P</math> atau <math>\overline{P}</math>. Secara intuitif, operasi ini dipandang benar ketika <math>P</math> salah, dan salah ketika <math>P</math> benar.<ref>{{Cite web|last=Weisstein|first=Eric W.|title=Negation|url=https://mathworld.wolfram.com/Negation.html|website=mathworld.wolfram.com|language=en|access-date=2020-09-02}}</ref><ref>{{Cite web|title=Logic and Mathematical Statements - Worked Examples|url=https://www.math.toronto.edu/preparing-for-calculus/3_logic/we_3_negation.html|website=www.math.toronto.edu|access-date=2020-09-02}}</ref> Jadi, negasi merupakan [[Perangkai logis|operasi logika]] [[Operasi uner|uner]]. Seandainya ''P'' sebuah pernyataan tunggal maka "~p" dibaca ''negasi p'' atau ''tidak p'' atau ''bukan p'', adalah pernyataan majemuk.<ref>{{Cite web|last=author|first=Karso|date=2014|title=Pernyataan dan Kata Hubung Pernyataan Majemuk|url=http://repository.ut.ac.id/4692/1/PEMA4102-M1.pdf|website=Universitas Terbuka|page=1.22|access-date=12 Desember 2023}}</ref>

Negasi dapat diterapkan sebagai operasi tentang [[Gagasan (filsafat)|gagasan]], [[Proposisi (matematika)|proposisi]], [[nilai kebenaran]], atau lebih umumnya, [[Interpretasi (logika)|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 <math>P</math> adalah proposisi yang buktinya merupakan penyangkalan <math>P</math>.