Koşul eklemi (ise - ⇒) nedir Test 1

🎓 Koşul eklemi (ise - ⇒) nedir Test 1 - Ders Notu

Bu ders notu, "Koşul eklemi (ise - ⇒) nedir Test 1" testinde karşınıza çıkabilecek temel matematiksel mantık konularını, özellikle koşullu önermeleri ve bunlarla ilgili kavramları sade bir dille özetlemektedir.

📌 Koşul Eklemi (İse - ⇒) Nedir?

Matematiksel mantıkta iki önermeyi birbirine bağlayan "ise" bağlacına koşul eklemi denir. Günlük hayatta "eğer... ise..." şeklinde kullandığımız ifadelerin matematiksel karşılığıdır.

• 📝 İki önermeyi ($p$ ve $q$) birbirine bağlar ve "$p$ ise $q$" şeklinde okunur.
• Gösterimi: $p \Rightarrow q$.
• $p$: Hipotez (varsayım, ön koşul).
• $q$: Hüküm (sonuç, yargı).

💡 İpucu: Bir koşullu önermeyi anlamak için, bir söz verdiğinizi düşünün: "Eğer ders çalışırsan (p), sınavı geçersin (q)."

📌 Koşullu Önermenin Doğruluk Değeri (Doğruluk Tablosu)

Bir koşullu önermenin ($p \Rightarrow q$) doğruluk değeri, $p$ ve $q$'nun doğruluk değerlerine bağlıdır. Sadece tek bir durumda yanlış (0) olur, diğer tüm durumlarda doğru (1) kabul edilir.

• $p=1$ (Doğru) ve $q=1$ (Doğru) ise, $p \Rightarrow q$ önermesi 1'dir. (Ders çalıştın, sınavı geçtin. Söz yerine geldi.)
• $p=1$ (Doğru) ve $q=0$ (Yanlış) ise, $p \Rightarrow q$ önermesi 0'dır. (Ders çalıştın ama sınavı geçemedin. Söz yerine gelmedi!)
• $p=0$ (Yanlış) ve $q=1$ (Doğru) ise, $p \Rightarrow q$ önermesi 1'dir. (Ders çalışmadın ama sınavı geçtin. Sözün dışına çıkılmadı, çünkü ilk şart yerine gelmedi.)
• $p=0$ (Yanlış) ve $q=0$ (Yanlış) ise, $p \Rightarrow q$ önermesi 1'dir. (Ders çalışmadın ve sınavı geçemedin. Sözün dışına çıkılmadı.)

⚠️ Dikkat: Koşullu önerme ($p \Rightarrow q$) sadece ve sadece hipotez doğru ($p=1$) ve hüküm yanlış ($q=0$) iken yanlıştır (0). Diğer tüm durumlarda doğrudur (1).

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

Bir koşullu önermeden ($p \Rightarrow q$) türetilen üç önemli önerme türü vardır:

• Karşıtı (Converse): Hipotez ve hükmün yer değiştirmesiyle elde edilir. Gösterimi: $q \Rightarrow p$.
• Tersi (Inverse): Hipotez ve hükmün değillerinin alınmasıyla elde edilir. Gösterimi: $\neg p \Rightarrow \neg q$. ($ \neg $ sembolü "değili" anlamına gelir.)
• Karşıt Tersi (Contrapositive): Hem yer değiştirip hem de değillerinin alınmasıyla elde edilir. Gösterimi: $\neg q \Rightarrow \neg p$.

💡 İpucu: Bir koşullu önerme ($p \Rightarrow q$) ile onun karşıt tersi ($\neg q \Rightarrow \neg p$) her zaman mantıksal olarak birbirine denktir (aynı doğruluk değerine sahiptir). Yani, $ (p \Rightarrow q) \equiv (\neg q \Rightarrow \neg p) $. Bu bilgi, sorularda çok işinize yarayabilir!

📌 Gerektirme Nedir?

Bir koşullu önermenin ($p \Rightarrow q$) doğruluk değeri 1 ise, yani önerme doğru ise, bu koşullu önermeye "gerektirme" denir.

• Örneğin, "$x$ çift sayı ise $x^2$ çift sayıdır" önermesi bir gerektirmedir, çünkü her zaman doğrudur.
• Bir koşullu önermenin gerektirme olabilmesi için, $p=1$ iken $q$'nun da mutlaka $1$ olması gerekir. Eğer $p=1$ iken $q=0$ olabiliyorsa, bu bir gerektirme değildir.

⚠️ Dikkat: "Gerektirme" kavramı, koşullu önermenin her zaman doğru olduğu durumları ifade eder. Testlerde "gerektirme midir?" sorusu gördüğünüzde, önermenin doğruluk tablosundaki tüm durumlar için 1 sonucunu verip vermediğini veya verilen belirli durum için doğru olup olmadığını kontrol edin.