Negasi: Perbedaan antara revisi
Konten dihapus Konten ditambahkan
Ariandi Lie (bicara | kontrib) k Membatalkan 1 suntingan oleh Kaka dosen (bicara) ke revisi terakhir oleh Arya-Bot(Tw) Tag: Pembatalan |
|||
| (7 revisi perantara oleh 6 pengguna tidak ditampilkan) | |||
Baris 1:
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]].
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>.
{{matematika-stub}}▼
== Referensi ==
[[kategori:logika matematika]]▼
{{Reflist}}
▲{{matematika-stub}}
| |||