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 seringkali dilakukan dengan memerhatikan kasus dimana sebagian hipotesis tidak terpenuhi dan kesimpulan dari teoremanya tidak sesuai.