Lihat sumber Contoh penyangkal

{{Short description|bentuk penyangkalan dari suatu perumuman}}
'''contoh penyangkal''' ({{lang-en|[[:en:Counterexample|Counterexample]]}})<ref>{{cite journal
| last          = Yohanes
| first         = Rudi Santoso
| title         = Peranan Contoh Penyangkal dalam Pembelajaran Matematika
| year          = 2019
| url           = https://journal.um-surabaya.ac.id/index.php/Pro/article/view/4347/2602}}</ref> adalah bentuk penyangkalan apapun dari sebuah [[generalisasi]]. Dalam [[logika]], sebuah contoh penyangkal digunakan untuk menyangkal sebuah generalisasi dalam bidang [[matematika]] dan [[fisafat]].<ref name=":0">{{Cite web
| url            = https://www.mathwords.com/c/counterexample.htm
| title          = Mathwords: Counterexample
| trans-title    = Mathwords: contoh penyangkal
| website        = www.mathwords.com
| access-date    = 2019-11-28}}</ref> Sebagai contoh, fakta kalau "mahasiswa Chandra Sutomo tidaklah pemalas" adalah contoh penyangkal dari generalisasi "mahasiswa itu pemalas", dan itu merupakan sangkalan dari [[kuantifikasi semesta]] "semua mahasiswa itu pemalas".<ref>{{Cite web
| url            = http://mathworld.wolfram.com/Counterexample.html
| title          = Counterexample
| trans-title    = contoh penyangkal
| last           = Weisstein
| first          = Eric W.
| website        = mathworld.wolfram.com
| language       = en
| access-date    = 2019-11-28}}</ref>

Dalam matematika, istilah "contoh penyangkal" juga digunakan untuk merujuk kepada contoh yang mengilustrasikan pentingnya hipotesis suatu teorema. Hal ini seringkali dilakukan dengan memerhatikan kasus dimana sebagian hipotesis tidak terpenuhi dan kesimpulan dari teoremanya tidak sesuai.{{Citation needed|date=March 2009}}

== Dalam matematika ==

Dalam matematika, contoh penyangkal seringkali digunakan untuk membuktikan batasan dari teorema yang ada. Dengan menggunakan contoh penyangkal untuk menunjukkan suatu konjektur bernilai salah, periset matematika tidak perlu menggali permasalahan tersebut lebih dalam lagi dan belajar memodifikasi konjektur yang ada untuk memperoleh teorema yang dapat dibuktikan kebenarannya. Terkadang, disebutkan bahwa perkembangan matematika terdiri dari menemukan (dan membuktikan) teorema dan contoh penyangkal.<ref>{{Cite web
| url            = https://www.cut-the-knot.org/WhatIs/WhatIsCounterexample.shtml
| title          = What Is Counterexample?
| trans-title    = Apa Itu contoh penyangkal?
| language       = en
| website        = www.cut-the-knot.org
| access-date    = 2019-11-28}}</ref>

=== Contoh persegi panjang ===

Misalkan seorang matematikawan sedang memelajari [[geometri]] dan [[bentuk|bentuk-bentuk]], dan dia ingin membuktikan beberapa teorema mengenai hal itu. Dia memberikan [[konjektur]] bahwa "Semua [[persegi panjang]] adalah [[persegi]]", dan dia tertarik untuk mengetahui apakah pernyataan ini benar atau salah.

Dalam kasus ini, dia dapat [[pembuktian matematika|membuktikan]] kebenaran pernyataan tersebut dengan [[Pembuktian melalui deduksi|penalaran deduktif]], atau dia dapat mencoba mencari contoh penyangkal dari pernyataan tersebut, jika dia mencurigai hal itu salah. Dalam kasus terakhir, contoh penyangkalnya berupa sebuah persegi panjang yang bukan persegi, seperti persegi panjang dengan dua sisi yang panjangnya 7 dan dua sisi lainnya memiliki panjang 5. Akan tetapi, terlepas berhasil menemukan persegi panjang yang bukan persegi, semua persegi panjang yang dia temukan memiliki empat sisi. Maka dari itu, dia membuat konjektur baru "Semua persegi panjang memiliki empat sisi". Pernyataan ini lebih lemah dibandingkan konjektur dia sebelumnya, lantaran setiap persegi memiliki empat sisi, namun tidak semua bentuk yang memiliki empat sisi itu persegi.

Contoh di atas menjelaskan (dengan cara yang disederhanakan) bagaimana matematikawan melemahkan konjektur yang ada ketika menghadapi sebuah contoh penyangkal, namun contoh penyangkal juga dapat digunakan untuk mendemonstrasikan pentingnya suatu asumsi dan [[hipotesis]]. Sebagai contoh, misalkan setelah beberapa saat, matematikawan di atas mengajukan konjektur baru, yaitu "Semua bentuk yang termasuk persegi panjang dan memiliki empat sisi yang sama panjang adalah persegi". Lalu dia tertarik untuk mengetahui apakah dia dapat menghilangkan salah satu asumsi yang ada, dan tetap memertahankan kebenaran konjektur miliknya. Itu artinya, dia harus memeriksa kebenaran dari dua pernyataan berikut:

# "Semua bentuk yang termasuk persegi panjang adalah persegi."
# "Semua bentuk yang memiliki empat sisi yang sama panjang adalah persegi."

contoh penyangkal dari (1) telah diberikan di atas, dan contoh penyangkal dari (2) adalah [[belah ketupat]] non-persegi. Maka dari itu, dia sekarang tahu kalau kedua asumsi sama-sama diperlukan.

=== Contoh matematis lainnya ===
{{See also|Counterexamples in topology|Minimal counterexample}}

contoh penyangkal dari pernyataan "Semua [[bilangan prima]] adalah [[paritas (matematika)|bilangan ganjil]]" adalah bilangan 2, karena bilangan 2 adalah bilangan prima, tetapi bukan bilangan ganjil.<ref name=":0" /> Bilangan 7 atau 10 bukanlah contoh penyangkal, karena keduanya tidaklah cukup untuk menentang pernyataan tersebut. Dalam kasus ini, bilangan 2 adalah satu-satunya contoh penyangkal dari pernyataan tersebut, walaupun itu saja sudah cukup untuk menjadikan pernyataannya [[kontradiksi]]. Dengan cara serupa, pernyataan "Semua [[bilangan asli]] adalah [[bilangan prima]] atau [[bilangan komposit]]" memiliki bilangan 1 sebagai contoh penyangkal, sebab 1 bukanlah bilangan prima maupun komposit.

[[Konjektur jumlahan pangkat Euler]] dibantah dengan contoh penyangkal. Ia menyatakan kalau setidaknya diperlukan <math>n</math> pangkat ke-<math>n</math> untuk menghasilkan pangkat ke-<math>n</math> lainnya. Konjektur ini terbukti salah pada tahun 1966,<ref>{{cite journal
| last           = Lander, Parkin
| year           = 1966
| title          = Counterexample to Euler's conjecture on sums of like powers
| trans-title    = contoh penyangkal dari konjektur Euler mengenai jumlahan pangkat serupa
| language       = en
| journal        = Bulletin of the American Mathematical Society
| publisher      = Americal Mathematical Society
| volume         = 72
| issue          = 6
| page           = 1079
| issn           = 0273-0979
| url            = https://www.ams.org/journals/bull/1966-72-06/S0002-9904-1966-11654-3/S0002-9904-1966-11654-3.pdf
| access-date    = 2 August 2018
| doi            = 10.1090/s0002-9904-1966-11654-3
| doi-access     = free}}</ref> dengan melibatkan nilai <math>n = 5</math>; contoh penyangkal <math>n = 5</math> lainnya telah banyak ditemukan, serta beberapa contoh penyangkal untuk <math>n = 4</math>.<ref>{{Cite journal
| last       = Elkies
| first      = Noam
| date       = October 1988
| title      = On <math>A^4 + B^4 + C^4 = D^4</math>
| language   = en
| url        = https://www.ams.org/journals/mcom/1988-51-184/S0025-5718-1988-0930224-9/S0025-5718-1988-0930224-9.pdf
| journal    = Mathematics of Computation
| volume     = 51
| issue      = 184
| pages      = 825–835}}</ref>

Contoh lainnya meliputi bantahan dari [[konjektur Seifert]], [[konjektur Pólya]], konjektur dari [[masalah keempat belas Hilbert]], [[konjektur Tait]], dan [[konjektur Ganea]].

== Pada Filsafat ==
{{Philo-stub}}

== Lihat juga ==
*[[Kontradiksi]]

== Referensi ==
{{Reflist}}

== Bacaan lanjutan ==
* [[Imre Lakatos]], ''[[Proofs and Refutations]]'' Cambridge University Press, 1976, {{isbn|0521290384}}
* [[James Franklin (filsuf)|James Franklin]] dan Albert Daoud, ''Proof in Mathematics: An Introduction'' (''Bukti dalam Matematika: Pengantar''), Kew, Sydney, 2011. {{ISBN|978-0-646-54509-7}}, bab 6.
* [[Lynn Arthur Steen]] dan [[J. Arthur Seebach Jr.]]: ''[[Counterexamples in Topology]]'' (''Contoh tadingan pada Topologi''), Springer, New York 1978, {{ISBN|0-486-68735-X}}.
* Joseph P. Romano dan Andrew F. Siegel: ''Counterexamples in Probability and Statistics'' (''contoh penyangkal pada Statistika dan Peluang''), Chapman & Hall, New York, London 1986, {{ISBN|0-412-98901-8}}.
* Gary L. Wise dan Eric B. Hall: ''Counterexamples in Probability and Real Analysis'' (''contoh penyangkal pada Analisis Riil dan Peluang''). Oxford University Press, New York 1993. {{ISBN|0-19-507068-2}}.
* Bernard R. Gelbaum, John M. H. Olmsted: ''Counterexamples in Analysis'' (''contoh penyangkal pada Analisis''). Corrected reprint of the second (1965) edition, Dover Publications, Mineola, NY 2003, {{ISBN|0-486-42875-3}}.
* Jordan M. Stoyanov: ''Counterexamples in Probability'' (''contoh penyangkal pada Peluang''). Second edition, Wiley, Chichester 1997, {{ISBN|0-471-96538-3}}.
* Michael Copobianco & John Mulluzzo (1978) ''Examples and Counterexamples in Graph Theory'' (''contoh penyangkal pada Teori Graf''), Elsevier North-Holland {{ISBN|0-444-00255-3}}.

== Pranala luar ==
*{{wikiquote-inline}}

[[Kategori:Istilah matematika]]
[[Kategori:Logika]]
[[Kategori:Filsafat interpretasi]]
[[Kategori:Metode pembuktian]]