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

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

Sevgili öğrenciler, bu ders notu "Karşıt ters yöntemi ile ispat Test 1" sınavında karşılaşacağınız temel mantık ve ispat konularını sade bir dille özetlemektedir. Amacımız, bu konuları kolayca anlamanızı ve testte başarılı olmanızı sağlamaktır.

📌 Mantıkta Temel Kavramlar: Önerme ve Doğruluk Değeri

İspat yöntemlerini anlamadan önce, mantığın en temel yapı taşlarını bilmemiz önemlidir.

• Önerme: Doğru (D) ya da yanlış (Y) kesin bir hüküm bildiren cümlelerdir. Aynı anda hem doğru hem de yanlış olamazlar.
• Doğruluk Değeri: Bir önermenin doğru ya da yanlış olma durumudur. Doğru önermeler '1' veya 'D' ile, yanlış önermeler ise '0' veya 'Y' ile gösterilir.
• Örnek: "Ankara, Türkiye'nin başkentidir." (Doğru önerme, değeri 1). "2 + 3 = 7" (Yanlış önerme, değeri 0). "Bugün hava güzel mi?" (Önerme değil, soru cümlesi).

💡 İpucu: Bir cümlenin önerme olup olmadığını anlamak için, o cümlenin kesinlikle doğru mu yoksa kesinlikle yanlış mı olduğuna karar verebiliyor musunuz diye düşünün. Eğer bir yargı yoksa veya kişiden kişiye değişiyorsa önerme değildir.

📌 Bileşik Önermeler ve "İse" Bağlacı ($p \Rightarrow q$)

Birden fazla önermenin mantık bağlaçları ile birleştirilmesiyle bileşik önermeler oluşur. "İse" bağlacı, ispat yöntemlerinde kritik bir rol oynar.

• "İse" ($p \Rightarrow q$): "Eğer $p$ ise, $q$ olur" şeklinde okunur. Bu önerme, sadece $p$ doğru ve $q$ yanlış olduğunda yanlış olur. Diğer tüm durumlarda doğrudur.
• Doğruluk Tablosu (Kısaca):
  • $p$ doğru, $q$ doğru $\Rightarrow$ ($p \Rightarrow q$) doğru.
  • $p$ doğru, $q$ yanlış $\Rightarrow$ ($p \Rightarrow q$) yanlış. (Tek yanlış durum!)
  • $p$ yanlış, $q$ doğru $\Rightarrow$ ($p \Rightarrow q$) doğru.
  • $p$ yanlış, $q$ yanlış $\Rightarrow$ ($p \Rightarrow q$) doğru.
• Günlük Hayat Örneği: "Eğer yağmur yağarsa, yerler ıslanır." ($p$: Yağmur yağar, $q$: Yerler ıslanır.)
  • Yağmur yağdı ve yerler ıslandı (D $\Rightarrow$ D = D).
  • Yağmur yağdı ama yerler ıslanmadı (D $\Rightarrow$ Y = Y). (Bu durum mantıksızdır!)
  • Yağmur yağmadı ama yerler ıslandı (Y $\Rightarrow$ D = D). (Belki biri su döktü.)
  • Yağmur yağmadı ve yerler ıslanmadı (Y $\Rightarrow$ Y = D).

⚠️ Dikkat: "İse" bağlacının tek yanlış olduğu durumu iyi anlamak, ispat yöntemlerini kavramanın anahtarıdır.

📌 Bir Önermenin Değili (Olumsuzu) ($\neg p$)

Bir önermenin değili, o önermenin tam tersi doğruluk değerine sahip olması demektir.

• Değil ($\neg$): Bir $p$ önermesinin değili $\neg p$ (değil $p$) ile gösterilir. $p$ doğru ise $\neg p$ yanlıştır, $p$ yanlış ise $\neg p$ doğrudur.
• Örnek: $p$: "Hava güneşlidir." $\neg p$: "Hava güneşli değildir."
• "İse" Önermesinin Değili: $\neg (p \Rightarrow q)$ önermesi, $p \land \neg q$ önermesine denktir. Yani "Eğer $p$ ise $q$ olur" ifadesinin yanlış olması, $p$'nin doğru ve $q$'nun yanlış olması durumunda geçerlidir.

📌 Karşıt Tersi (Kontrapozitif) Nedir?

İspat yöntemlerinde sıkça kullanılan ve "ise" önermesi ile doğrudan ilişkili bir kavramdır.

• Bir $p \Rightarrow q$ önermesinin karşıt tersi, $\neg q \Rightarrow \neg p$ şeklindedir.
• Önemli Denklik: Matematikte $p \Rightarrow q$ önermesi her zaman kendi karşıt tersi olan $\neg q \Rightarrow \neg p$ önermesine denktir. Yani $p \Rightarrow q \equiv \neg q \Rightarrow \neg p$.
• Bu denklik, bir önermeyi doğrudan ispatlamak zor olduğunda, onun karşıt tersini ispatlayarak orijinal önermenin doğruluğunu göstermemizi sağlar.

💡 İpucu: Karşıt tersi alırken hem önermelerin yerini değiştiririz hem de her birinin değilini (olumsuzunu) alırız. Sanki bir ayna oyunu gibi düşünebilirsiniz.

📌 Karşıt Ters Yöntemi ile İspat

Bu yöntem, bir "ise" önermesini ($p \Rightarrow q$) ispatlamak için kullanılır ve özellikle doğrudan ispatın karmaşık olduğu durumlarda çok etkilidir.

• Yöntemin Amacı: $p \Rightarrow q$ önermesinin doğru olduğunu göstermektir.
• Neden Kullanılır? Bazen $p$'den başlayıp $q$'ya ulaşmak zor olabilir. Bu durumda, $q$'nun yanlış olduğunu varsayarak ($\neg q$), bunun $p$'nin de yanlış olduğunu ($\neg p$) göstermek daha kolay olabilir.
• Adımlar:
  1. İspatlanacak önermeyi $p \Rightarrow q$ şeklinde belirle.
  2. Bu önermenin karşıt tersini yaz: $\neg q \Rightarrow \neg p$.
  3. Şimdi, $\neg q \Rightarrow \neg p$ önermesinin doğru olduğunu ispatla. Yani, $\neg q$'nun doğru olduğunu varsayarak, $\neg p$'nin de doğru olduğunu göster.
  4. $\neg q \Rightarrow \neg p$ doğru olduğu için, buna denk olan orijinal önerme $p \Rightarrow q$ da doğrudur.

📝 Örnek: "Eğer $n^2$ tek sayı ise, $n$ de tek sayıdır." ($n$ bir tam sayı)

• $p$: "$n^2$ tek sayıdır."
• $q$: "$n$ tek sayıdır."
• Doğrudan ispatlamak biraz zor olabilir. O zaman karşıt tersini alalım.
• $\neg q$: "$n$ tek sayı değildir" yani "$n$ çift sayıdır."
• $\neg p$: "$n^2$ tek sayı değildir" yani "$n^2$ çift sayıdır."
• Karşıt ters önerme: "Eğer $n$ çift sayı ise, $n^2$ de çift sayıdır."
• Şimdi bu karşıt tersi ispatlayalım:
  • Varsayalım ki $n$ çift sayıdır. O zaman $n = 2k$ şeklinde yazılabilir (burada $k$ bir tam sayıdır).
  • Şimdi $n^2$'ye bakalım: $n^2 = (2k)^2 = 4k^2 = 2(2k^2)$.
  • $2(2k^2)$ ifadesi $2$'nin bir katı olduğu için, $n^2$ çift sayıdır.
• Karşıt ters önerme olan "Eğer $n$ çift sayı ise, $n^2$ de çift sayıdır" doğru olduğu için, orijinal önerme "Eğer $n^2$ tek sayı ise, $n$ de tek sayıdır" da doğrudur.

Bu notlar, karşıt ters yöntemi ile ispat konusunu anlamanız için temel bilgileri içermektedir. Başarılar dileriz!