Negasi: Perbedaan antara revisi

Konten dihapus Konten ditambahkan
YFdyh-bot (bicara | kontrib)
k r2.7.3) (bot Menambah: hu:Negáció
k Membatalkan 1 suntingan oleh Kaka dosen (bicara) ke revisi terakhir oleh Arya-Bot(Tw)
Tag: Pembatalan
 
(9 revisi perantara oleh 8 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]].
Dalam [[logika matematika]], '''negasi''', atau '''ingkaran''' adalah operasi matematika terhadap suatu pernyataan, baik tunggal maupun majemuk. Operasi negasi membalikkan nilai kebenaran suatu pernyataan.
{| class="wikitable"
! style="width:30px" | ''p''
! style="width:30px" | ~''p''
|-
| B
| S
|-
| S
| B
|}
Jika ''p'' bernilai benar, maka ~''p'' bernilai salah. Sebaliknya, jika ''p'' bernilai salah, maka ~''p'' bernilai benar.
 
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>.
Bentuk ~''p'' biasa dibaca "bukan ''p''", "tidak ''p''", "tidak benar bahwa ''p''", dsb.
{{matematika-stub}}
 
== Referensi ==
[[kategori:logika matematika]]
{{Reflist}}
 
[[kategoriKategori:logikaLogika matematika]]
[[ar:نفي]]
 
[[cs:Negace]]
 
[[da:Negation]]
{{matematika-stub}}
[[de:Negation]]
[[en:Negation]]
[[eo:Logika neo]]
[[es:Negación lógica]]
[[et:Eitus]]
[[fa:نقیض]]
[[fr:Négation logique]]
[[he:לא (לוגיקה)]]
[[hr:Negacija]]
[[hu:Negáció]]
[[it:Negazione (matematica)]]
[[ja:否定]]
[[kk:Теріс логика]]
[[ko:부정]]
[[la:Negatio]]
[[mk:Негација]]
[[nl:Logische negatie]]
[[no:Negasjon]]
[[pl:Negacja]]
[[pms:Negassion]]
[[pt:Negação]]
[[ru:Отрицание]]
[[sh:Logička negacija]]
[[simple:Logical negation]]
[[sk:Negácia (logika)]]
[[sl:Negacija]]
[[sq:Negacioni]]
[[sr:Логичка негација]]
[[sv:Negation (logik)]]
[[th:นิเสธ]]
[[uk:Заперечення]]
[[zh:逻辑非]]