🎓 Çift gerektirme nedir Test 2 - Ders Notu
Bu ders notu, "Çift gerektirme nedir Test 2" testinde karşılaşacağın temel mantık konularını, özellikle koşullu ve çift koşullu önermeleri, bunların doğruluk değerlerini ve ilgili kavramları sade bir dille özetlemektedir.
📌 Mantıkta Temel Bağlaçlar ve Doğruluk Değerleri
Mantık, önermelerin doğruluk değerleri (Doğru (1) veya Yanlış (0)) arasındaki ilişkileri inceleyen bir bilim dalıdır. Önermeleri birbirine bağlamak için bazı temel bağlaçlar kullanırız:
- Değil (Negation - $\neg$): Bir önermenin zıttını ifade eder. Eğer $p$ doğruysa, $\neg p$ yanlıştır; $p$ yanlışsa, $\neg p$ doğrudur.
- Ve (Conjunction - $\land$): İki önermenin de doğru olması durumunda doğru olan bağlaçtır. $p \land q$ ifadesi, hem $p$ hem de $q$ doğru olduğunda doğrudur, aksi halde yanlıştır.
- Veya (Disjunction - $\lor$): En az bir önermenin doğru olması durumunda doğru olan bağlaçtır. $p \lor q$ ifadesi, $p$ veya $q$'dan en az biri doğru olduğunda doğrudur, ikisi de yanlış olduğunda yanlıştır.
💡 İpucu: Doğruluk değerlerini düşünürken, "Ve" bağlacını "hem... hem de...", "Veya" bağlacını ise "ya... ya da..." veya "veya..." şeklinde düşünebilirsin.
📌 Koşullu Önerme (Gerektirme) ➡️
Koşullu önerme, bir durumun başka bir durumu gerektirdiğini ifade eder. "Eğer p ise q" şeklinde okunur ve $p \Rightarrow q$ ile gösterilir.
- $p$: Hipotez (varsayım)
- $q$: Hüküm (sonuç)
- Doğruluk Değeri: $p \Rightarrow q$ önermesi, yalnızca $p$ doğru ve $q$ yanlış olduğunda yanlıştır. Diğer tüm durumlarda doğrudur.
- Örnek: "Yağmur yağarsa (p), yerler ıslanır (q)."
- Yağmur yağdı (D), yerler ıslandı (D) $\rightarrow$ Önerme Doğru.
- Yağmur yağmadı (Y), yerler ıslandı (D) $\rightarrow$ Önerme Doğru (Belki başka birisi suladı).
- Yağmur yağmadı (Y), yerler ıslanmadı (Y) $\rightarrow$ Önerme Doğru.
- Yağmur yağdı (D), yerler ıslanmadı (Y) $\rightarrow$ Önerme Yanlış. (Bu durum, önermenin yanlış olduğunu gösterir.)
⚠️ Dikkat: Koşullu önermelerde, hipotez (p) yanlış olduğunda önermenin sonucu her zaman doğrudur. "Eğer 2+2=5 ise, dünya düzdür." önermesi bile mantıksal olarak doğrudur, çünkü hipotez (2+2=5) yanlıştır.
İlgili Koşullu Önerme Formları:
- Karşıtı: $q \Rightarrow p$ (Örnek: "Yerler ıslandıysa, yağmur yağmıştır.")
- Tersi: $\neg p \Rightarrow \neg q$ (Örnek: "Yağmur yağmazsa, yerler ıslanmaz.")
- Karşıt Tersi: $\neg q \Rightarrow \neg p$ (Örnek: "Yerler ıslanmadıysa, yağmur yağmamıştır.")
💡 İpucu: Bir önermenin kendisi ile karşıt tersi her zaman denktir (aynı doğruluk değerine sahiptir). Yani, $(p \Rightarrow q) \equiv (\neg q \Rightarrow \neg p)$.
📌 Çift Koşullu Önerme (Çift Gerektirme) ↔️
Çift koşullu önerme, iki önermenin birbirini karşılıklı olarak gerektirdiğini ifade eder. "p ancak ve ancak q" şeklinde okunur ve $p \Leftrightarrow q$ ile gösterilir.
- Bu, hem $p \Rightarrow q$ hem de $q \Rightarrow p$ koşullu önermelerinin aynı anda doğru olması anlamına gelir. Yani, $(p \Leftrightarrow q) \equiv ((p \Rightarrow q) \land (q \Rightarrow p))$.
- Doğruluk Değeri: $p \Leftrightarrow q$ önermesi, $p$ ve $q$ önermelerinin doğruluk değerleri aynı olduğunda (ikisi de doğru veya ikisi de yanlış) doğrudur. Doğruluk değerleri farklı olduğunda yanlıştır.
- Örnek: "Bir sayı çifttir (p) ancak ve ancak 2'ye tam bölünür (q)."
- Sayı çifttir (D), 2'ye tam bölünür (D) $\rightarrow$ Önerme Doğru.
- Sayı çift değildir (Y), 2'ye tam bölünmez (Y) $\rightarrow$ Önerme Doğru.
- Sayı çifttir (D), 2'ye tam bölünmez (Y) $\rightarrow$ Önerme Yanlış.
- Sayı çift değildir (Y), 2'ye tam bölünür (D) $\rightarrow$ Önerme Yanlış.
⚠️ Dikkat: Çift gerektirme, iki önermenin birbirinin yerine kullanılabileceği, yani aynı anlama geldiği durumları ifade eder.
📌 Totoloji ve Çelişki 🧐
- Totoloji: Bir bileşik önerme, tüm olası doğruluk değerleri için daima doğru (1) sonuç veriyorsa, bu önermeye totoloji denir. (Örnek: $p \lor \neg p$)
- Çelişki: Bir bileşik önerme, tüm olası doğruluk değerleri için daima yanlış (0) sonuç veriyorsa, bu önermeye çelişki denir. (Örnek: $p \land \neg p$)
📌 Denk Önermeler 🤝
İki önermenin doğruluk değerleri her zaman aynı ise bu önermelere denk önermeler denir ve $p \equiv q$ ile gösterilir. Denk önermeler, mantıksal olarak aynı şeyi ifade ederler.
- Örneğin, $(p \Rightarrow q)$ önermesi ile $(\neg p \lor q)$ önermesi birbirine denktir. Yani $(p \Rightarrow q) \equiv (\neg p \lor q)$. Bu, koşullu önermeyi "veya" bağlacı cinsinden ifade etmenin bir yoludur.
