Bir matematikçi, "Tüm asal sayılar tek sayıdır" şeklindeki bir önermeyi çürütmek istiyorsa, bu önermenin yanlış olduğunu göstermelidir. Evrensel bir önerme ("Tüm X'ler Y'dir" gibi) yanlışlığını göstermenin en etkili ve doğrudan yolu, önermenin iddia ettiğinin aksine, X olup da Y olmayan en az bir örnek bulmaktır. Bu yönteme karşı örnek verme denir.
- Önermenin Anlamı: "Tüm asal sayılar tek sayıdır" önermesi, asal sayılar kümesindeki her elemanın aynı zamanda tek sayı olması gerektiğini iddia eder. Bu önermeyi çürütmek için, asal olup da tek olmayan (yani çift olan) en az bir sayı bulmamız yeterlidir.
- Asal Sayılar: Asal sayılar, $1$'den büyük olup $1$ ve kendisinden başka pozitif tam böleni olmayan sayılardır. İlk birkaç asal sayı şunlardır: $2, 3, 5, 7, 11, ...$
- Tek ve Çift Sayılar:
- Tek sayılar, $2$'ye tam bölünemeyen tam sayılardır (örneğin $1, 3, 5, ...$).
- Çift sayılar, $2$'ye tam bölünebilen tam sayılardır (örneğin $2, 4, 6, ...$).
- Karşı Örnek Bulma: Asal sayılar listesine baktığımızda, $2$ sayısının bir asal sayı olduğunu görürüz. Ancak $2$ sayısı, tek bir sayı değil, çift bir sayıdır. Bu durum, "Tüm asal sayılar tek sayıdır" önermesini doğrudan çürütür, çünkü $2$ asal olmasına rağmen tek değildir. $2$ sayısı, bu önerme için mükemmel bir karşı örnektir.
- Diğer Seçeneklerin Neden Uygun Olmadığı:
- A) Tümevarım: Genellikle bir önermenin tüm doğal sayılar için doğru olduğunu kanıtlamak için kullanılan bir ispat yöntemidir, çürütmek için değil.
- B) Olmayana Ergi (Çelişkiyle İspat): Bir önermenin doğru olduğunu varsayıp bu varsayımdan bir çelişki türeterek önermenin yanlış olduğunu kanıtlama yöntemidir. Bu da bir ispat yöntemidir, ancak evrensel bir önermeyi çürütmek için karşı örnek bulmak çok daha doğrudan ve basittir.
- D) Doğrudan İspat: Bir önermenin doğru olduğunu doğrudan mantıksal adımlarla gösterme yöntemidir, çürütmek için kullanılmaz.
Bu nedenle, "Tüm asal sayılar tek sayıdır" önermesini çürütmek için en uygun ve doğrudan yöntem, bu önermeye uymayan bir örnek, yani bir karşı örnek bulmaktır.
Cevap C seçeneğidir.
