Contoh penyangkal - Riwayat revisi

Maintenance script: Presentation V4: sitasi, referensi, Math, Wikimedia Commons, dan atribusi

2026-08-24T23:11:09Z

Presentation V4: sitasi, referensi, Math, Wikimedia Commons, dan atribusi

← Revisi sebelumnya		Revisi per 24 Agustus 2026 23.11
Baris 1:		Baris 1:
	'''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".		'''contoh penyangkal''' ()<ref>Rudi Santoso Yohanes. [https://journal.um-surabaya.ac.id/index.php/Pro/article/view/4347/2602 Peranan Contoh Penyangkal dalam Pembelajaran Matematika]. 2019.</ref> adalah bentuk penyangkalan apapun dari sebuah [[generalisasi]]. Dalam [[logika]], sebuah contoh penyangkal digunakan untuk menyangkal sebuah generalisasi dalam bidang [[matematika]] dan [[fisafat]].<ref>[https://www.mathwords.com/c/counterexample.htm Mathwords: Counterexample]. ''www.mathwords.com''.</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>Eric W. Weisstein. [http://mathworld.wolfram.com/Counterexample.html Counterexample]. ''mathworld.wolfram.com''.</ref>

	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, 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 ==
			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.<ref>[https://www.cut-the-knot.org/WhatIs/WhatIsCounterexample.shtml What Is Counterexample?]. ''www.cut-the-knot.org''.</ref>
	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 ===		=== 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.		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.

Baris 21:		Baris 19:

	=== Contoh matematis lainnya ===		=== Contoh matematis lainnya ===
			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>[https://www.mathwords.com/c/counterexample.htm Mathwords: Counterexample]. ''www.mathwords.com''.</ref> 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>Lander, Parkin. [https://www.ams.org/journals/bull/1966-72-06/S0002-9904-1966-11654-3/S0002-9904-1966-11654-3.pdf Counterexample to Euler's conjecture on sums of like powers]. ''Bulletin of the American Mathematical Society''. Americal Mathematical Society. 1966. Vol. 72 (6). hlm. 1079. doi:10.1090/s0002-9904-1966-11654-3.</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>Noam Elkies. [https://www.ams.org/journals/mcom/1988-51-184/S0025-5718-1988-0930224-9/S0025-5718-1988-0930224-9.pdf On A^4 + B^4 + C^4 = D^4]. ''Mathematics of Computation''. October 1988. Vol. 51 (184). hlm. 825–835.</ref>
	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. 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, 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>.

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

	== Pada Filsafat ==		== Pada Filsafat ==

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

	~~== Referensi ==~~


	== Bacaan lanjutan ==		== Bacaan lanjutan ==
	* [[Imre Lakatos]], ''[[Proofs and Refutations]]'' Cambridge University Press, 1976,		* [[Imre Lakatos]], ''[[Proofs and Refutations]]'' Cambridge University Press, 1976,
	* [[James Franklin (filsuf)\|James Franklin]] dan Albert Daoud, ''Proof in Mathematics: An Introduction'' (''Bukti dalam Matematika: Pengantar''), Kew, Sydney, 2011. , bab 6.		* [[James Franklin (filsuf)\|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, .		* [[Lynn Arthur Steen]] dan [[J. Arthur Seebach Jr.]]: ''[[Counterexamples in Topology]]'' (''Contoh tadingan pada Topologi''), Springer, New York 1978, .
Baris 50:		Baris 42:
	*		*

			== Referensi ==
			<references />

	== Sumber dan atribusi ==		== Sumber dan atribusi ==

	Konten artikel ini diadaptasi dari [https://id.wikipedia.org/w/index.php?title=Contoh+penyangkal&oldid=28597849 Wikipedia bahasa Indonesia], revisi 28597849 (2025-11-22T02:53:35Z), 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=Contoh+penyangkal&oldid=28597849 Wikipedia bahasa Indonesia], revisi 28597849 (2025-11-22T02:53:35Z), 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 -->

Maintenance script: Impor teks terkontrol dari Wikipedia bahasa Indonesia; revisi 28597849; atribusi sumber disertakan.

2026-08-24T22:50:06Z

Impor teks terkontrol dari Wikipedia bahasa Indonesia; revisi 28597849; atribusi sumber disertakan.

Halaman baru

'''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-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, 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 [[paritas (matematika)|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 <math>n</math> pangkat ke-<math>n</math> untuk menghasilkan pangkat ke-<math>n</math> lainnya. Konjektur ini terbukti salah pada tahun 1966, 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>.

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 (filsuf)|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 ==
*

== Sumber dan atribusi ==

Konten artikel ini diadaptasi dari [https://id.wikipedia.org/w/index.php?title=Contoh+penyangkal&oldid=28597849 Wikipedia bahasa Indonesia], revisi 28597849 (2025-11-22T02:53:35Z), yang tersedia berdasarkan lisensi Creative Commons Atribusi-BerbagiSerupa (CC BY-SA). Mohon gunakan konten ini secara bijak serta sesuai dengan ketentuan lisensi yang berlaku.