n bir tam sayı olmak üzere, "n² çift ise n de çifttir" önermesini ispatlamak isteyen bir öğrenci, "n tek sayı olsun, bu durumda n=2k+1 formunda yazılabilir" diyerek başlayan ispat yöntemi hangisidir?
A) Doğrudan ispat
B) Olmayana ergi
C) Deneme yöntemi
D) Aksine örnek verme
Verilen önerme "$n^2$ çift ise $n$ de çifttir" şeklindedir. Bu, mantıksal olarak "$P \implies Q$" formunda bir önermedir. Burada:
$P$: "$n^2$ çifttir"
$Q$: "$n$ çifttir"
Öğrenci ispatına "n tek sayı olsun" diyerek başlıyor. Bu ifade, $Q$ önermesinin (n çifttir) olumsuzu olan "n tek sayıdır" ($\neg Q$) önermesini varsaymaktır.
Şimdi ispat yöntemlerini inceleyelim:
A) Doğrudan ispat: $P$ doğru kabul edilip, mantıksal adımlarla $Q$'ya ulaşılır. Yani, "$n^2$ çift olsun" denilerek başlanır ve "$n$ çifttir" sonucuna varılır. Öğrencinin başlangıcı bu değildir.
B) Olmayana ergi (Reductio ad Absurdum / Çelişkiyle İspat): Bir önermenin doğru olduğunu ispatlamak için, o önermenin yanlış olduğunu (veya bir koşullu önerme için $P$ doğru ve $Q$ yanlış olduğunu) varsayıp, bu varsayımdan yola çıkarak bir çelişkiye (matematiksel bir imkansızlığa) ulaşma yöntemidir.
Öğrencinin yaptığı, "$P \implies Q$" önermesini ispatlamak için, $Q$'nun olumsuzunu ($\neg Q$) varsayarak başlamaktır. Eğer öğrenci bu varsayımdan yola çıkarak $P$'nin de olumsuzuna ($\neg P$) ulaşırsa (yani "$n$ tek ise $n^2$ tektir" sonucuna varırsa), bu "Karşıt Ters (Contrapositive)" ispatıdır. Karşıt ters ispatı, olmayana ergi yönteminin özel bir durumudur ve yaygın olarak kullanılır. Çünkü $P \implies Q$ önermesinin doğru olması, $\neg Q \implies \neg P$ önermesinin doğru olmasıyla eşdeğerdir. Bu durumda, $\neg Q$ varsayımıyla başlanıp $\neg P$ sonucuna ulaşılması, $P \land \neg Q$ varsayımının bir çelişkiye yol açtığını gösterir.
C) Deneme yöntemi: Bu, matematiksel bir ispat yöntemi değildir, genellikle bir çözüm bulmak için yapılan denemelerdir.
D) Aksine örnek verme: Bir önermenin yanlış olduğunu göstermek için kullanılır, doğru olduğunu ispatlamak için değil.
Öğrencinin "n tek sayı olsun" diyerek başlaması, yani ispatlamak istediği sonucun (n çifttir) tersini varsayması, olmayana ergi (veya özel olarak karşıt ters) yönteminin ilk adımıdır. Bu varsayımdan yola çıkarak bir çelişkiye ulaşılması hedeflenir.
