"a ve b tam sayıları için, eğer a × b çift ise a veya b çifttir" önermesinin doğrudan ispatı için aşağıdaki yaklaşımlardan hangisi doğrudur?
A) a ve b'nin tek olduğunu varsayıp çelişki elde edilir
B) a × b çift olduğundan a çifttir denir
C) a ve b çift ise a × b çifttir denir
D) Sadece örneklerle gösterilir
Verilen önerme "$a$ ve $b$ tam sayıları için, eğer $a \times b$ çift ise $a$ veya $b$ çifttir" şeklindedir. Bu önerme mantıksal olarak "Eğer P ise Q" ($P \implies Q$) formundadır. Burada:
$P$: "$a \times b$ çifttir"
$Q$: "$a$ çifttir veya $b$ çifttir"
Bir "doğrudan ispat" genellikle P'nin doğru olduğunu varsayıp, mantıksal adımlarla Q'nun da doğru olduğunu göstermeyi içerir. Ancak, Q önermesi bir "veya" ($a$ çifttir VEYA $b$ çifttir) içerdiğinde, doğrudan ispat yapmak bazen zor olabilir. Bu tür durumlarda, ispat tekniklerinden biri olan çelişkiyle ispat (proof by contradiction) veya karşıt ters (contrapositive) ile ispat yöntemi daha uygun ve anlaşılır bir yol sunar.
Şimdi seçenekleri inceleyelim:
A) $a$ ve $b$'nin tek olduğunu varsayıp çelişki elde edilir:
Bu yaklaşım, çelişkiyle ispat yöntemini tanımlar. Bu yöntemde, önermenin doğru olmadığını (yani P doğru iken Q'nun yanlış olduğunu) varsayarız ve bu varsayımdan bir çelişki elde ederiz.
Yani, $P$ doğru ($a \times b$ çifttir) VE $Q$ yanlış ($a$ çifttir veya $b$ çifttir önermesinin değili, yani $a$ tektir VE $b$ tektir) varsayılır.
Eğer $a$ tek ve $b$ tek ise, $a = 2k+1$ ve $b = 2m+1$ şeklinde yazılabilir ($k, m$ tam sayılar).
Bu durumda $a \times b = (2k+1)(2m+1) = 4km + 2k + 2m + 1 = 2(2km + k + m) + 1$ olur.
Bu sonuç, $a \times b$'nin tek olduğunu gösterir.
Ancak başlangıçta $a \times b$'nin çift olduğunu varsaymıştık. Bu durum, $a \times b$ hem çift hem de tek olamayacağı için bir çelişkidir.
Bu çelişki, başlangıçtaki "P doğru iken Q yanlış" varsayımımızın hatalı olduğunu gösterir. Dolayısıyla, $P$ doğru ise $Q$ da doğru olmalıdır. Bu, verilen önermenin geçerli bir ispatıdır. Bu yöntem, "veya" içeren sonuç önermeleri için oldukça yaygın ve etkili bir doğrudan ispat yaklaşımıdır.
B) $a \times b$ çift olduğundan $a$ çifttir denir:
Bu bir mantık hatasıdır. $a \times b$ çift olduğunda $a$'nın çift olması zorunlu değildir. Örneğin, $a=3$ (tek) ve $b=2$ (çift) iken $a \times b = 6$ (çift) olur. Bu seçenek yanlış bir çıkarım içerir.
C) $a$ ve $b$ çift ise $a \times b$ çifttir denir:
Bu önerme doğru olsa da, ispatlamamız istenen önerme ile aynı değildir. Bu seçenek, "Eğer $a$ çift VE $b$ çift ise $a \times b$ çifttir" gibi farklı bir ifadeyi ispatlamaya çalışır. Bu, orijinal önermenin ispatı için doğru bir yaklaşım değildir.
D) Sadece örneklerle gösterilir:
Matematikte örnekler bir önermeyi açıklamak veya çürütmek için kullanılabilir, ancak bir önermenin genel geçerliliğini ispatlamak için yeterli değildir. Bir ispat, tüm olası durumları kapsayan mantıksal bir argüman olmalıdır.
Sonuç olarak, verilen önermenin doğrudan ispatı için en uygun ve doğru yaklaşım, çelişkiyle ispat yöntemini kullanan A seçeneğidir.
