Negasi: Perbedaan antara revisi
Impor teks terkontrol dari Wikipedia bahasa Indonesia; revisi 28051018; atribusi sumber disertakan. |
Presentation V4: sitasi, referensi, Math, Wikimedia Commons, dan atribusi |
||
| Baris 1: | 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. Jadi, negasi merupakan [[Perangkai logis|operasi logika]] [[Operasi uner|uner]]. | 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>Eric W. Weisstein. [https://mathworld.wolfram.com/Negation.html Negation]. ''mathworld.wolfram.com''.</ref><ref>[https://www.math.toronto.edu/preparing-for-calculus/3_logic/we_3_negation.html Logic and Mathematical Statements - Worked Examples]. ''www.math.toronto.edu''.</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>. | 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>. | ||
== Referensi == | == Referensi == | ||
<references /> | |||
== Sumber dan atribusi == | == Sumber dan atribusi == | ||
Konten artikel ini diadaptasi dari [https://id.wikipedia.org/w/index.php?title=Negasi&oldid=28051018 Wikipedia bahasa Indonesia], revisi 28051018 (2025-10-17T05:04:47Z), yang tersedia berdasarkan lisensi Creative Commons Atribusi-BerbagiSerupa (CC BY-SA). Mohon gunakan konten ini secara bijak serta sesuai dengan ketentuan lisensi yang berlaku. | Konten artikel ini diadaptasi dari [https://id.wikipedia.org/w/index.php?title=Negasi&oldid=28051018 Wikipedia bahasa Indonesia], revisi 28051018 (2025-10-17T05:04:47Z), yang tersedia berdasarkan lisensi Creative Commons Atribusi-BerbagiSerupa (CC BY-SA). Mohon gunakan konten ini secara bijak serta sesuai dengan ketentuan lisensi yang berlaku. | ||
<!-- WIKI_UNISSULA_PRESENTATION_V4 --> | |||
Revisi terkini sejak 25 Agustus 2026 09.01
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.[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
- ↑ Eric W. Weisstein. Negation. mathworld.wolfram.com.
- ↑ Logic and Mathematical Statements - Worked Examples. www.math.toronto.edu.
Sumber dan atribusi
Konten artikel ini diadaptasi dari Wikipedia bahasa Indonesia, revisi 28051018 (2025-10-17T05:04:47Z), yang tersedia berdasarkan lisensi Creative Commons Atribusi-BerbagiSerupa (CC BY-SA). Mohon gunakan konten ini secara bijak serta sesuai dengan ketentuan lisensi yang berlaku.