🎓 p önermesinin değili (p üssü) Test 2 - Ders Notu
Bu ders notu, "p önermesinin değili (p üssü) Test 2" testinde karşılaşacağın temel mantık konularını, özellikle de önermelerin ve bileşik önermelerin değillerini nasıl bulacağını sade bir dille açıklar. Amacımız, bu konuyu kolayca anlamanı ve testte başarılı olmanı sağlamak.
📌 Önerme Nedir?
Mantıkta "önerme", doğru ya da yanlış kesin bir hüküm bildiren ifadelere denir. Bir ifadenin önerme olabilmesi için, doğruluk değeri (doğru ya da yanlış olma durumu) net bir şekilde belirlenebilmelidir.
- 📝 Örnek: "Türkiye'nin başkenti Ankara'dır." (Doğru bir önerme)
- 📝 Örnek: "2 + 3 = 7." (Yanlış bir önerme)
- ⚠️ Dikkat: Emir, soru, ünlem cümleleri önerme değildir. "Kapıyı kapat!" veya "Bugün hava nasıl?" gibi ifadelerin doğruluk değeri olmadığı için önerme sayılmazlar.
📌 Bir Önermenin Değili (Olumsuzu)
Bir önermenin değili (olumsuzu), o önermenin tam tersi doğruluk değerine sahip olan yeni bir önermedir. $p$ önermesinin değili $p'$ (p üssü) veya $\neg p$ şeklinde gösterilir.
- 💡 İpucu: Eğer $p$ doğru ise $p'$ yanlıştır. Eğer $p$ yanlış ise $p'$ doğrudur.
- 📝 Örnek: $p$: "Bugün hava güneşlidir." ise $p'$: "Bugün hava güneşli değildir." (veya "Bugün hava güneşsizdir.")
- 📝 Doğruluk Tablosu:
- $p$ doğru (1) ise $p'$ yanlış (0)
- $p$ yanlış (0) ise $p'$ doğru (1)
📌 Bileşik Önermelerin Değili
Birden fazla önermenin bir araya gelmesiyle oluşan önermelere "bileşik önerme" denir. Bu bileşik önermelerin değillerini alırken belirli kurallara uymak gerekir.
🔸 "Ve" ($ \land $) ve "Veya" ($ \lor $) Önermelerinin Değili (De Morgan Kuralları)
Bu kurallar, mantıkta çok önemlidir ve De Morgan Kuralları olarak bilinir. "Ve" bağlacının değili "veya"ya, "veya" bağlacının değili "ve"ye dönüşür ve her bir önermenin değili alınır.
- 📝 $(p \land q)' \equiv p' \lor q'$
- 📝 $(p \lor q)' \equiv p' \land q'$
- 💡 İpucu: Parantezin dışındaki değili içeri dağıtırken bağlaçları da tersine çevir!
- 📝 Örnek: $p$: "Yağmur yağıyor.", $q$: "Hava soğuk."
- $(p \land q)'$: "Yağmur yağmıyor veya hava soğuk değil."
- $(p \lor q)'$: "Yağmur yağmıyor ve hava soğuk değil."
🔸 "İse" ($ \Rightarrow $) Önermesinin Değili
"İse" bağlacının değili biraz farklıdır. Önce $p \Rightarrow q$ önermesinin denk olduğu ifadeyi hatırlayalım: $p \Rightarrow q \equiv p' \lor q$.
- 📝 $(p \Rightarrow q)' \equiv (p' \lor q)'$
- 📝 De Morgan kuralını uyguladığımızda: $(p' \lor q)' \equiv (p')' \land q' \equiv p \land q'$
- 💡 Kural: $(p \Rightarrow q)' \equiv p \land q'$ (Birinci önerme aynen kalır, ikinci önermenin değili alınır ve araya "ve" bağlacı gelir.)
- 📝 Örnek: $p$: "Çalışırsam", $q$: "Başarırım."
- $(p \Rightarrow q)'$: "Çalışırım ve başaramam."
🔸 "Ancak ve Ancak" ($ \Leftrightarrow $) Önermesinin Değili
"Ancak ve ancak" önermesi, iki önermenin birbirini gerektirmesi durumudur ($p \Leftrightarrow q \equiv (p \Rightarrow q) \land (q \Rightarrow p)$). Değilini alırken bu denklikten faydalanabiliriz.
- 📝 $(p \Leftrightarrow q)' \equiv (p \land q') \lor (p' \land q)$
- 💡 Kural: Bu kuralı ezberlemek yerine, $p \Leftrightarrow q$ önermesinin doğru olduğu durumlar (ikisi de doğru veya ikisi de yanlış) dışındaki durumların (biri doğru diğeri yanlış) doğru olduğunu düşünebilirsin. Yani $p$ doğru, $q$ yanlış VEYA $p$ yanlış, $q$ doğru durumlarıdır.
- 📝 Örnek: $p$: "Sınavı geçerim", $q$: "Çok çalışırım."
- $(p \Leftrightarrow q)'$: "Sınavı geçerim ve çok çalışmam" veya "Sınavı geçemem ve çok çalışırım."
📌 Niceleyicilerin Değili (Her ve Bazı)
İfadelerdeki "her" ($\forall$) ve "bazı" ($\exists$) gibi niceleyicilerin değillerini almak da testlerde sıkça karşımıza çıkar.
- 📝 "Her" ($\forall$) niceleyicisinin değili "bazı" ($\exists$) niceleyicisidir.
- 📝 "Bazı" ($\exists$) niceleyicisinin değili "her" ($\forall$) niceleyicisidir.
- ⚠️ Unutma: Niceleyicinin değili alındıktan sonra, önermenin kendisinin de değili alınır.
- 📝 Örnek: $p(x)$: "$x$ bir asal sayıdır."
- $(\forall x, p(x))'$: "Her $x$ için $x$ bir asal sayıdır." önermesinin değili, "Bazı $x$ için $x$ bir asal sayı değildir." şeklinde olur. ($\exists x, p'(x)$)
- $(\exists x, p(x))'$: "Bazı $x$ için $x$ bir asal sayıdır." önermesinin değili, "Her $x$ için $x$ bir asal sayı değildir." şeklinde olur. ($\forall x, p'(x)$)
💡 Genel İpucu: Değil alma işlemlerinde adım adım ilerle. Önce niceleyici veya bağlacın değilini al, sonra önermelerin değillerini uygula. Bol bol pratik yaparak bu kuralları pekiştirebilirsin!
