Contoh penyangkal

contoh penyangkal () adalah bentuk penyangkalan apapun dari sebuah generalisasi. Dalam logika, sebuah contoh penyangkal digunakan untuk menyangkal sebuah generalisasi dalam bidang matematika dan fisafat. 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".

Dalam matematika, istilah "contoh penyangkal" juga digunakan untuk merujuk kepada contoh yang mengilustrasikan pentingnya hipotesis suatu teorema. Hal ini sering kali dilakukan dengan memperhatikan kasus di mana sebagian hipotesis tidak terpenuhi dan kesimpulan dari teoremanya tidak sesuai.

 Dalam matematika 

Dalam matematika, contoh penyangkal sering kali digunakan untuk membuktikan batasan dari teorema yang ada. Dengan menggunakan contoh penyangkal untuk menunjukkan suatu konjektur bernilai salah, periset matematika tidak perlu menggali masalah 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.

 Contoh persegi panjang 

Misalkan seorang matematikawan sedang memelajari geometri dan 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 membuktikan kebenaran pernyataan tersebut dengan 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, tetapi 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 

contoh penyangkal dari pernyataan "Semua bilangan prima adalah bilangan ganjil" adalah bilangan 2, karena bilangan 2 adalah bilangan prima, tetapi bukan bilangan ganjil. 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  pangkat ke- untuk menghasilkan pangkat ke- lainnya. Konjektur ini terbukti salah pada tahun 1966, dengan melibatkan nilai ; contoh penyangkal  lainnya telah banyak ditemukan, serta beberapa contoh penyangkal untuk .

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

 Pada Filsafat 

 Lihat juga 
Kontradiksi

 Referensi 

 Bacaan lanjutan 
 Imre Lakatos, Proofs and Refutations Cambridge University Press, 1976, 
 James Franklin dan Albert Daoud, Proof in Mathematics: An Introduction (Bukti dalam Matematika: Pengantar), Kew, Sydney, 2011. , bab 6.
 Lynn Arthur Steen dan J. Arthur Seebach Jr.: Counterexamples in Topology (Contoh tadingan pada Topologi), Springer, New York 1978, .
 Joseph P. Romano dan Andrew F. Siegel: Counterexamples in Probability and Statistics (contoh penyangkal pada Statistika dan Peluang), Chapman & Hall, New York, London 1986, .
 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. .
 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, .
 Jordan M. Stoyanov: Counterexamples in Probability (contoh penyangkal pada Peluang). Second edition, Wiley, Chichester 1997, .
 Michael Copobianco & John Mulluzzo (1978) Examples and Counterexamples in Graph Theory (contoh penyangkal pada Teori Graf), Elsevier North-Holland .

 Pranala luar 

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