🎓 Bir önermenin olumsuzu (değili) nasıl alınır Test 1 - Ders Notu
Bu ders notu, "Bir önermenin olumsuzu (değili) nasıl alınır Test 1" testinde karşılaşabileceğiniz temel mantık konularını, önermelerin tanımını, doğruluk değerlerini ve özellikle önermelerin olumsuzlarının nasıl alındığını sade bir dille açıklamaktadır.
📌 Önerme Nedir?
Mantıkta "önerme", doğru ya da yanlış kesin bir hüküm bildiren ifadelere denir. Bir ifadenin önerme olabilmesi için kişiden kişiye değişmeyen, açık ve net bir doğruluk değerine sahip olması gerekir.
- 📝 **Tanım:** Doğru ya da yanlış kesin bir hüküm bildiren cümlelerdir.
- 💡 **Örnek:** "Türkiye'nin başkenti Ankara'dır." (Doğru bir önerme) veya "2 + 3 = 7'dir." (Yanlış bir önerme).
- ⚠️ **Dikkat:** Soru cümleleri, emir cümleleri, dilek cümleleri veya göreceli ifadeler ("Bu yemek çok lezzetli.") önerme değildir, çünkü kesin bir doğruluk değeri taşımazlar.
📌 Doğruluk Değeri
Bir önermenin doğru mu yoksa yanlış mı olduğunu gösteren değere "doğruluk değeri" denir. Mantıkta genellikle "Doğru" (D veya 1) ve "Yanlış" (Y veya 0) olmak üzere iki farklı doğruluk değeri kullanılır.
- 🔢 **Gösterim:** Doğru önermeler 'D' veya '1' ile, yanlış önermeler 'Y' veya '0' ile gösterilir.
- 💡 **Örnek:** $p$: "Güneş doğudan doğar." önermesinin doğruluk değeri 'D' veya '1'dir. $q$: "Ay bir gezegendir." önermesinin doğruluk değeri 'Y' veya '0'dır.
📌 Bir Önermenin Olumsuzu (Değili) Nedir?
Bir önermenin olumsuzu (değili), o önermenin tam tersi anlama gelen ve doğruluk değerini değiştiren ifadedir. Yani, önerme doğruysa olumsuzu yanlış, yanlışsa olumsuzu doğru olur.
- 📝 **Gösterim:** Bir $p$ önermesinin olumsuzu $p'$ veya $\neg p$ şeklinde gösterilir.
- 🔄 **Doğruluk Değeri:** Eğer $p$ önermesinin doğruluk değeri 'D' ise, $p'$ önermesinin doğruluk değeri 'Y' olur. Eğer $p$ önermesinin doğruluk değeri 'Y' ise, $p'$ önermesinin doğruluk değeri 'D' olur.
- 💡 **Örnek:**
- $p$: "Hava bugün güneşlidir." (Doğru olsun)
- $p'$: "Hava bugün güneşli değildir." (Yanlış olur)
- $q$: "Kediler uçabilir." (Yanlış)
- $q'$: "Kediler uçamaz." (Doğru olur)
- ⚠️ **Dikkat:** Bir önermenin olumsuzunun olumsuzu, önermenin kendisine denktir. Yani, $(p')' \equiv p$ veya $\neg(\neg p) \equiv p$.
📌 Bileşik Önermelerin Olumsuzları
Birden fazla önermenin mantık bağlaçları ile birleştirilmesiyle oluşan önermelere "bileşik önerme" denir. Bu tür önermelerin olumsuzları alınırken bağlaçların da değiştiğine dikkat etmek gerekir.
📌 "Ve" ($\land$) ve "Veya" ($\lor$) Bağlaçlarının Olumsuzu (De Morgan Kuralları)
De Morgan Kuralları, "ve" ve "veya" bağlaçlarıyla kurulmuş bileşik önermelerin olumsuzlarını alırken kullanılan temel kurallardır.
- 📝 **Kural 1:** "Ve" bağlacı ile bağlanmış bir önermenin olumsuzu, her bir önermenin olumsuzunun "veya" bağlacı ile bağlanmasına denktir.
- $\neg (p \land q) \equiv \neg p \lor \neg q$
- 📝 **Kural 2:** "Veya" bağlacı ile bağlanmış bir önermenin olumsuzu, her bir önermenin olumsuzunun "ve" bağlacı ile bağlanmasına denktir.
- $\neg (p \lor q) \equiv \neg p \land \neg q$
- 💡 **Örnek:**
- $p$: "Ali ders çalıştı."
- $q$: "Ali sınavı geçti."
- $p \land q$: "Ali ders çalıştı ve sınavı geçti."
- $\neg (p \land q)$: "Ali ders çalışmadı veya sınavı geçmedi." ($\neg p \lor \neg q$)
📌 Koşullu Önermenin ($\implies$) Olumsuzu
Koşullu önerme, "eğer ... ise ..." yapısıyla kurulan önermelerdir. Bu önermenin olumsuzu alınırken farklı bir kural uygulanır.
- 📝 **Kural:** Bir koşullu önermenin olumsuzu, birinci önermenin kendisi ile ikinci önermenin olumsuzunun "ve" bağlacı ile bağlanmasına denktir.
- $\neg (p \implies q) \equiv p \land \neg q$
- 💡 **Örnek:**
- $p$: "Yağmur yağar."
- $q$: "Hava soğur."
- $p \implies q$: "Eğer yağmur yağarsa, hava soğur."
- $\neg (p \implies q)$: "Yağmur yağar ve hava soğumaz." ($p \land \neg q$)
📌 Ancak ve Ancak Önermesinin ($\iff$) Olumsuzu
Ancak ve ancak önermesi, iki önermenin birbirine denk olduğunu ifade eder. Bu önermenin olumsuzu biraz daha karmaşıktır.
- 📝 **Kural:** Bir ancak ve ancak önermesinin olumsuzu, önermelerden birinin doğru diğerinin yanlış olduğu durumları ifade eder.
- $\neg (p \iff q) \equiv (p \land \neg q) \lor (\neg p \land q)$
- 💡 **İpucu:** Bu kuralı hatırlamak zor gelirse, $\neg (p \iff q)$ önermesi, $p$ ve $q$ önermelerinin doğruluk değerlerinin farklı olduğu duruma denktir. Yani, $p \iff q$ önermesinin doğruluk değeri 'D' ise, olumsuzunun doğruluk değeri 'Y' olur.
📌 Niceleyicilerin Olumsuzları
Niceleyiciler, bir grubun tamamını veya bir kısmını ifade etmek için kullanılan kelimelerdir ("her", "bazı"). Niceleyici içeren önermelerin olumsuzları alınırken niceleyiciler de değişir.
📌 Evrensel Niceleyici ($\forall$)
"Her", "bütün", "tüm" gibi ifadelerle kullanılan niceleyiciye evrensel niceleyici denir ve $\forall$ sembolü ile gösterilir.
- 📝 **Kural:** Evrensel niceleyici içeren bir önermenin olumsuzu alınırken, evrensel niceleyici "varlıksal niceleyiciye" ($\exists$) dönüşür ve önermenin kendisinin olumsuzu alınır.
- $\neg (\forall x, P(x)) \equiv \exists x, \neg P(x)$
- 💡 **Örnek:**
- $p$: "Her öğrenci çalışkandır." ($\forall x, \text{öğrenci}(x) \implies \text{çalışkan}(x)$)
- $\neg p$: "Bazı öğrenciler çalışkan değildir." ($\exists x, \text{öğrenci}(x) \land \neg \text{çalışkan}(x)$)
📌 Varlıksal Niceleyici ($\exists$)
"Bazı", "en az bir", "kimileri" gibi ifadelerle kullanılan niceleyiciye varlıksal niceleyici denir ve $\exists$ sembolü ile gösterilir.
- 📝 **Kural:** Varlıksal niceleyici içeren bir önermenin olumsuzu alınırken, varlıksal niceleyici "evrensel niceleyiciye" ($\forall$) dönüşür ve önermenin kendisinin olumsuzu alınır.
- $\neg (\exists x, P(x)) \equiv \forall x, \neg P(x)$
- 💡 **Örnek:**
- $p$: "Bazı insanlar gözlüklüdür." ($\exists x, \text{insan}(x) \land \text{gözlüklü}(x)$)
- $\neg p$: "Her insan gözlüklü değildir." (Yani "Hiçbir insan gözlüklü değildir.") ($\forall x, \text{insan}(x) \implies \neg \text{gözlüklü}(x)$)
💡 **İpucu:** Niceleyicilerin olumsuzunu alırken, "her" ile "bazı" yer değiştirir ve yüklemin de olumsuzu alınır. Örneğin, "Her kuş uçar." önermesinin olumsuzu "Bazı kuşlar uçmaz." olur.
