İspat yöntemleri nelerdir Test 1

"İki çift sayının toplamı çifttir" teoremini ispatlayan Ali, iki çift sayıyı 2a ve 2b şeklinde yazıp toplamlarının 2(a+b) olduğunu ve bunun da çift sayı olduğunu göstermiştir.
Ali hangi ispat yöntemini kullanmıştır?

A) Tümevarım
B) Olmayana ergi
C) Doğrudan ispat
D) Varsayıma dayalı ispat

Bu soruda Ali'nin kullandığı ispat yöntemini anlamak için öncelikle ispat yöntemlerini ve Ali'nin adımlarını dikkatlice inceleyelim.

• İspat Edilmek İstenen Teorem: "İki çift sayının toplamı çifttir."
• Ali'nin İspat Adımları:
• Ali, iki çift sayıyı $2a$ ve $2b$ şeklinde yazmıştır. Burada $a$ ve $b$ birer tam sayıdır. (Çünkü çift sayı, 2'nin tam katı olan sayıdır.)
• Bu iki sayıyı toplamıştır: $2a + 2b$.
• Ortak çarpan parantezine almıştır: $2(a+b)$.
• Sonucun $2(a+b)$ olduğunu ve bu ifadenin de 2'nin bir tam katı olduğunu belirtmiştir. (Çünkü $a$ ve $b$ tam sayı olduğundan, $a+b$ de bir tam sayıdır. Bir tam sayının 2 ile çarpımı her zaman çift sayıdır.)
• Böylece, iki çift sayının toplamının çift olduğunu göstermiştir.
• İspat Yöntemlerinin İncelenmesi:
• A) Tümevarım: Bu yöntem genellikle doğal sayılarla ilgili ifadeleri ispatlamak için kullanılır. Bir temel adım (genellikle $n=1$ için) ve bir tümevarım adımı (ifadenin $n=k$ için doğru olduğu varsayılarak $n=k+1$ için de doğru olduğunun gösterilmesi) içerir. Ali'nin ispatı bu yapıda değildir.
• B) Olmayana Ergi (Çelişkiyle İspat): Bu yöntemde, ispatlamak istediğimiz ifadenin tersini (olumsuzunu) doğru kabul ederiz ve bu kabulün bir çelişkiye yol açtığını gösteririz. Böylece başlangıçtaki ifadenin doğru olduğunu kanıtlamış oluruz. Ali, toplamın tek olduğunu varsaymamıştır.
• C) Doğrudan İspat: Bu yöntemde, verilen öncüllerden (varsayımlardan) yola çıkarak, tanımları, aksiyomları ve daha önce kanıtlanmış teoremleri kullanarak mantıksal adımlarla doğrudan sonuca ulaşılır. Ali, çift sayı tanımını ($2k$) kullanarak ve cebirsel işlemlerle doğrudan sonuca ulaşmıştır. Bu, Ali'nin yaptığı ispatın tam tanımıdır.
• D) Varsayıma Dayalı İspat: Bu terim genellikle koşullu önermelerin ispatında (eğer P ise Q) kullanılır ve P'nin doğru olduğu varsayılarak Q'ya ulaşılır. Ali'nin ispatı daha genel bir doğrudan ispat örneğidir.
• Ali'nin ispatı, çift sayı tanımını kullanarak ve mantıksal cebirsel adımlarla doğrudan sonuca ulaştığı için doğrudan ispat yöntemine örnektir.

Cevap C seçeneğidir.