Karşıt ters yöntemi ile ispat Test 2

🎓 Karşıt ters yöntemi ile ispat Test 2 - Ders Notu

Bu ders notu, "Karşıt ters yöntemi ile ispat Test 2" testinde karşılaşacağın koşullu önermeler, onların karşıtı, tersi ve karşıt tersi kavramlarını ve özellikle karşıt ters yöntemiyle ispat tekniklerini anlamana yardımcı olmak için hazırlandı.

📌 Önermeler ve Temel Kavramlar

İspat yöntemlerini anlamadan önce, mantığın temel yapı taşlarını hatırlayalım.

• Önerme: Doğru (D) ya da yanlış (Y) kesin bir hüküm bildiren ifadelere denir. Aynı anda hem doğru hem de yanlış olamaz.
• Doğruluk Değeri: Bir önermenin doğru veya yanlış olma durumudur. Genellikle doğru için $1$, yanlış için $0$ kullanılır.
• Önermenin Değili (Olumsuzu): Bir önermenin hükmünü değiştiren ifadedir. $p$ önermesinin değili $\neg p$ ile gösterilir. Eğer $p$ doğruysa $\neg p$ yanlıştır, eğer $p$ yanlışsa $\neg p$ doğrudur.

💡 İpucu: Bir önermenin değili alınırken "her", "bazı", "tüm", "hiçbiri" gibi niceleyicilerin de değiştiğini unutma. Örneğin, "Tüm öğrenciler çalışkandır" önermesinin değili "Bazı öğrenciler çalışkan değildir" şeklindedir.

📌 Koşullu Önerme ($p \Rightarrow q$)

İspat yöntemlerinin temelini oluşturan önemli bir önerme türüdür.

• Tanım: İki önermenin "ise" bağlacı ile bağlanmasıyla oluşan bileşik önermeye koşullu önerme denir. "$p$ ise $q$" şeklinde okunur ve $p \Rightarrow q$ ile gösterilir. Burada $p$ hipotez (varsayım), $q$ ise hüküm (sonuç) olarak adlandırılır.
• Doğruluk Değeri: $p \Rightarrow q$ önermesi sadece ve sadece $p$ doğru iken $q$ yanlış olduğunda yanlış, diğer tüm durumlarda doğrudur.
  • Eğer $p$ doğru ve $q$ doğru ise $p \Rightarrow q$ doğrudur.
  • Eğer $p$ doğru ve $q$ yanlış ise $p \Rightarrow q$ yanlıştır.
  • Eğer $p$ yanlış ve $q$ doğru ise $p \Rightarrow q$ doğrudur.
  • Eğer $p$ yanlış ve $q$ yanlış ise $p \Rightarrow q$ doğrudur.

⚠️ Dikkat: Günlük hayatta "Yağmur yağarsa şemsiye alırım." cümlesini düşün. Yağmur yağmadığında şemsiye alsan da almasan da bu cümlenin doğruluğu bozulmaz. Önemli olan yağmur yağdığında şemsiye alıp almadığındır.

📌 Koşullu Önermenin Karşıtı, Tersi ve Karşıt Tersi

Bir $p \Rightarrow q$ koşullu önermesinden türetilen üç önemli önerme türüdür.

• Karşıt (Converse): $q \Rightarrow p$ şeklindedir. Hipotez ile hükmün yer değiştirmesiyle oluşur.
• Ters (Inverse): $\neg p \Rightarrow \neg q$ şeklindedir. Hipotez ve hükmün değillerinin alınmasıyla oluşur.
• Karşıt Ters (Contrapositive): $\neg q \Rightarrow \neg p$ şeklindedir. Hem hipotez ile hükmün yer değiştirmesi hem de değillerinin alınmasıyla oluşur. Yani, tersinin karşıtı veya karşıtının tersidir.

📝 Örnek: "$n$ çift sayı ise $n^2$ çift sayıdır." ($p \Rightarrow q$) önermesi için:

• Karşıtı ($q \Rightarrow p$): "$n^2$ çift sayı ise $n$ çift sayıdır."
• Tersi ($\neg p \Rightarrow \neg q$): "$n$ çift sayı değilse ($n$ tek sayı ise) $n^2$ çift sayı değildir ($n^2$ tek sayıdır)."
• Karşıt Tersi ($\neg q \Rightarrow \neg p$): "$n^2$ çift sayı değilse ($n^2$ tek sayı ise) $n$ çift sayı değildir ($n$ tek sayıdır)."

💡 İpucu: Bir koşullu önerme ile onun karşıt tersi mantıksal olarak denktir. Yani $p \Rightarrow q \equiv \neg q \Rightarrow \neg p$. Bu denklik, karşıt ters yöntemiyle ispatın temelini oluşturur.

📌 Karşıt Ters Yöntemiyle İspat

Doğrudan ispatın zor veya karmaşık olduğu durumlarda sıklıkla başvurulan bir dolaylı ispat yöntemidir.

• Yöntemin Amacı: "$p \Rightarrow q$" şeklindeki bir önermenin doğruluğunu ispatlamaktır.
• Nasıl Uygulanır:
  1. İspatlamak istediğin "$p \Rightarrow q$" önermesini belirle.
  2. Bu önermenin karşıt tersini al: "$\neg q \Rightarrow \neg p$".
  3. Elde ettiğin "$\neg q \Rightarrow \neg p$" önermesinin doğru olduğunu doğrudan ispatla.
  4. "$\neg q \Rightarrow \neg p$" önermesi doğru olduğu için, buna denk olan "$p \Rightarrow q$" önermesi de doğru kabul edilmiş olur.

📝 Örnek Uygulama: "Eğer $n^2$ çift sayı ise $n$ de çift sayıdır." önermesini ispatlayalım.

• 1. Adım: Önermeyi belirle. $p$: "$n^2$ çift sayıdır.", $q$: "$n$ çift sayıdır." İspatlamak istediğimiz: $p \Rightarrow q$.
• 2. Adım: Karşıt tersini al. $\neg q$: "$n$ çift sayı değildir (yani $n$ tek sayıdır)." $\neg p$: "$n^2$ çift sayı değildir (yani $n^2$ tek sayıdır)." Karşıt ters önerme: "Eğer $n$ tek sayı ise $n^2$ tek sayıdır." ($\neg q \Rightarrow \neg p$)
• 3. Adım: Karşıt tersi doğrudan ispatla.
  • $n$ tek sayı ise, $n = 2k+1$ şeklinde bir tam sayı $k$ için yazılabilir.
  • $n^2 = (2k+1)^2 = (2k)^2 + 2(2k)(1) + 1^2 = 4k^2 + 4k + 1 = 2(2k^2 + 2k) + 1$.
  • Burada $2k^2 + 2k$ bir tam sayı olduğundan, $n^2$ de $2(\text{tam sayı}) + 1$ formunda olup tek sayıdır.
• 4. Adım: Sonuç. Karşıt ters önerme ("Eğer $n$ tek sayı ise $n^2$ tek sayıdır.") doğru olduğundan, asıl önerme ("Eğer $n^2$ çift sayı ise $n$ de çift sayıdır.") de doğrudur.

⚠️ Dikkat: Özellikle "ve", "veya" bağlaçlarının değillerini alırken De Morgan kurallarını doğru uygulamak çok önemlidir. Örneğin, $\neg (p \land q) \equiv \neg p \lor \neg q$ ve $\neg (p \lor q) \equiv \neg p \land \neg q$ kurallarını hatırla.

📝 Özetle: Karşıt ters yöntemi, bazen doğrudan ispatlaması zor olan bir ifadeyi, ona denk olan daha kolay ispatlanabilir bir ifadeye dönüştürerek çözüme ulaşmanı sağlar. Başarılar dilerim!