"Herhangi 6 kişilik bir grupta, ya 3 kişi birbirini tanıyordur ya da 3 kişi birbirini tanımıyordur" önermesini ispatlamak için özel bir kişi seçilip bu kişinin tanıdıkları ve tanımadıkları grupları incelenmiştir.
Bu ispat hangi yönteme örnektir?
A) Tümevarım
B) Olmayana ergi
C) Vaka incelemesi
D) Doğrudan ispat
Verilen ispat yöntemi, bir problemi veya önermeyi kanıtlamak için tüm olası durumları (vakaları) ayrı ayrı ele alıp her bir durum için önermenin doğru olduğunu göstermeye dayanır. Bu yöntem, Vaka incelemesi olarak adlandırılır.
- Vaka İncelemesi (Case Analysis): Bu ispat yönteminde, ispatlanacak önermenin geçerli olduğu tüm olası durumlar veya senaryolar belirlenir. Daha sonra, her bir durum (vaka) ayrı ayrı ele alınır ve önermenin o durum için de doğru olduğu gösterilir. Tüm olası durumlar kapsandığında ve her biri için önerme doğru bulunduğunda, genel önermenin doğru olduğu kanıtlanmış olur.
- Soruda bahsedilen ispat yönteminde, 6 kişilik bir gruptan özel bir kişi seçiliyor. Bu kişinin diğer 5 kişiyle olan ilişkileri (tanıdıkları ve tanımadıkları) inceleniyor. Bu inceleme, doğal olarak iki ana duruma yol açar:
- Seçilen kişi, gruptaki diğer kişilerden en az 3'ünü tanıyordur.
- Seçilen kişi, gruptaki diğer kişilerden en az 3'ünü tanımıyordur.
Bu iki durum, güvercin yuvası ilkesi gereği (bir kişi 5 kişiyle ilişki kurar ve her ilişki ya tanıma ya da tanımama durumudur, dolayısıyla en az 3 tanıma veya en az 3 tanımama olmak zorundadır) tüm olası senaryoları kapsar. İspat, daha sonra bu iki durumun her birini ayrı ayrı ele alarak, her durumda ya 3 kişinin birbirini tanıdığını ya da 3 kişinin birbirini tanımadığını gösterir. Bu, vaka incelemesinin tipik bir örneğidir.
- Tümevarım (Induction): Genellikle doğal sayılarla ilgili önermeleri ispatlamak için kullanılır. Bir temel durumun doğru olduğu gösterilir ve ardından $n$ için doğru olduğu varsayılarak $n+1$ için de doğru olduğu kanıtlanır. Verilen örnek bu yönteme uymaz.
- Olmayana Ergi (Proof by Contradiction): İspatlanmak istenen önermenin tersinin doğru olduğu varsayılır ve bu varsayımdan yola çıkarak mantıksal bir çelişki elde edilir. Bu çelişki, başlangıçtaki varsayımın yanlış olduğunu ve dolayısıyla ispatlanmak istenen önermenin doğru olduğunu gösterir. Verilen örnek, doğrudan bir çelişki arayışından ziyade durumları incelemeye odaklanır.
- Doğrudan İspat (Direct Proof): Verilen öncüllerden yola çıkarak, mantıksal adımlar ve tanımlar kullanılarak sonuca doğrudan ulaşılır. Vaka incelemesi, doğrudan ispatın bir alt kategorisi veya özel bir stratejisi olabilir, ancak soruda belirtilen "özel bir kişi seçilip bu kişinin tanıdıkları ve tanımadıkları grupları incelenmesi" ifadesi, problemi vakalara ayırma stratejisini açıkça vurgular.
Bu nedenle, soruda açıklanan ispat yöntemi, farklı senaryoları (vakaları) ayrı ayrı ele alarak sonuca ulaşmaya çalıştığı için vaka incelemesi yöntemine bir örnektir.
Cevap C seçeneğidir.
