Bir öğrenci "Tüm kuğular beyazdır" önermesini çürütmek için Avustralya'da siyah kuğuların olduğunu gösteriyor. Bu hangi matematiksel ispat yöntemine benzer?