Contoh tandingan itu apa sih?

Contoh tandingan atau contoh penyangkal () adalah bentuk penyangkalan apapun dari sebuah generalisasi. Dalam logika, sebuah contoh tandingan digunakan untuk menyangkal sebuah generalisasi dalam bidang matematika dan fisafat. Sebagai contoh, fakta kalau "mahasiswa John Smith tidaklah pemalas" adalah contoh tandingan dari generalisasi "mahasiswa itu pemalas", dan itu merupakan sangkalan dari kuantifikasi semesta "semua mahasiswa itu pemalas".

Dalam matematika, istilah "contoh tandingan" 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.