🎓 Niceleyicilerin olumsuzu (değili) nasıl alınır Test 2 - Ders Notu
Bu ders notu, niceleyicilerin olumsuzunu alma konusundaki temel kuralları ve bu kuralların birden fazla niceleyici içeren veya koşullu önermelerle birleşen ifadelerde nasıl uygulanacağını kapsamaktadır. Amacımız, bu konuyu sade ve anlaşılır bir şekilde öğrenmenize yardımcı olmaktır.
📌 Niceleyiciler Nedir?
Niceleyiciler, bir önermenin geçerli olduğu elemanların sayısını veya varlığını belirten mantıksal sembollerdir. Matematiğin ve mantığın temel yapı taşlarındandır.
- Evrensel Niceleyici ($\forall$): "Her", "Tüm", "Bütün" gibi anlamlara gelir. Bir özelliğin kümedeki tüm elemanlar için geçerli olduğunu ifade eder.
- Varlıksal Niceleyici ($\exists$): "Bazı", "En az bir", "Vardır" gibi anlamlara gelir. Bir özelliğin kümedeki en az bir eleman için geçerli olduğunu ifade eder.
Örnek: "Tüm insanlar ölümlüdür" ifadesi evrensel niceleyici ile, "Bazı öğrenciler çalışkandır" ifadesi varlıksal niceleyici ile kurulur.
📌 Niceleyicilerin Olumsuzunu Alma Kuralları
Bir niceleyici içeren ifadenin olumsuzunu almak için iki temel adım izlenir: Niceleyiciyi değiştir ve önermeyi olumsuzla.
- Evrensel Niceleyicinin Olumsuzu: Evrensel niceleyicinin ($\forall$) olumsuzu, varlıksal niceleyiciye ($\exists$) dönüşür ve önermenin kendisi olumsuzlanır.
- $\neg (\forall x, P(x))$ ifadesinin olumsuzu $\exists x, \neg P(x)$ şeklindedir.
- Örnek: "Tüm kuşlar uçar" ($\forall x, Kuş(x) \implies Uçar(x)$) önermesinin olumsuzu, "En az bir kuş vardır ki uçmaz" ($\exists x, Kuş(x) \land \neg Uçar(x)$) olur.
- Varlıksal Niceleyicinin Olumsuzu: Varlıksal niceleyicinin ($\exists$) olumsuzu, evrensel niceleyiciye ($\forall$) dönüşür ve önermenin kendisi olumsuzlanır.
- $\neg (\exists x, P(x))$ ifadesinin olumsuzu $\forall x, \neg P(x)$ şeklindedir.
- Örnek: "Bazı kediler siyahtır" ($\exists x, Kedi(x) \land Siyah(x)$) önermesinin olumsuzu, "Tüm kediler siyah değildir" ($\forall x, Kedi(x) \implies \neg Siyah(x)$) olur.
💡 İpucu: Olumsuz alma işlemi, niceleyicinin türünü değiştirirken, önermenin içindeki anlamı da tersine çevirir. "Her" "Bazı değil"e, "Bazı" "Hiçbiri"ne dönüşür.
📌 Birden Fazla Niceleyici İçeren İfadelerin Olumsuzu
Eğer bir ifadede birden fazla niceleyici varsa, olumsuz alma işlemi niceleyiciler üzerinde soldan sağa doğru sırayla uygulanır.
- Her niceleyicinin olumsuzunu alırken, yukarıdaki kuralları tek tek uygulayın.
- Örnek: $\neg (\forall x \exists y, P(x, y))$ ifadesinin olumsuzunu alalım.
- Önce en dıştaki $\forall x$ niceleyicisinin olumsuzunu alırız: $\exists x, \neg (\exists y, P(x, y))$.
- Sonra içteki $\exists y$ niceleyicisinin olumsuzunu alırız: $\exists x, \forall y, \neg P(x, y)$.
⚠️ Dikkat: Niceleyicilerin sırası çok önemlidir. $\forall x \exists y, P(x,y)$ ile $\exists y \forall x, P(x,y)$ genellikle aynı anlama gelmez ve olumsuzları da farklı olacaktır.
📌 Koşullu Önermelerin (İse Bağlacı) Olumsuzu
Niceleyicilerle birlikte sıkça karşılaşılan bir diğer durum da koşullu önermelerin ($P \implies Q$) olumsuzudur. Bu, özellikle "Her X için eğer Y ise Z" gibi ifadelerin olumsuzunu alırken kritik hale gelir.
- Bir koşullu önerme olan $P \implies Q$ ifadesi, mantıksal olarak $\neg P \lor Q$ ifadesine denktir.
- Bu durumda, $P \implies Q$ ifadesinin olumsuzu $\neg (P \implies Q)$ ise, bu da $\neg (\neg P \lor Q)$ anlamına gelir.
- De Morgan kurallarını kullanarak, $\neg (\neg P \lor Q)$ ifadesi $P \land \neg Q$ şekline dönüşür.
- Örnek: "Eğer hava güneşliyse, dışarı çıkarım" önermesinin olumsuzu, "Hava güneşli VE dışarı çıkmam" şeklindedir.
📝 Uygulama: $\neg (\forall x, P(x) \implies Q(x))$ ifadesinin olumsuzunu alırken:
- Önce niceleyiciyi değiştiririz: $\exists x, \neg (P(x) \implies Q(x))$.
- Sonra koşullu önermenin olumsuzunu alırız: $\exists x, (P(x) \land \neg Q(x))$.
📌 Ve (∧) ve Veya (∨) Bağlaçlarının Olumsuzu (De Morgan Kuralları)
Niceleyicilerin olumsuzunu alırken, önermenin içindeki "ve" ($\land$) ve "veya" ($\lor$) bağlaçlarının olumsuzunu da doğru bir şekilde alabilmek için De Morgan kurallarını bilmek önemlidir.
- Ve Bağlacının Olumsuzu: $\neg (P \land Q)$ ifadesinin olumsuzu $\neg P \lor \neg Q$ şeklindedir. (İkisi de doğru değilse, en az biri yanlıştır.)
- Veya Bağlacının Olumsuzu: $\neg (P \lor Q)$ ifadesinin olumsuzu $\neg P \land \neg Q$ şeklindedir. (En az biri doğru değilse, ikisi de yanlıştır.)
💡 İpucu: De Morgan kuralları, parantez dışındaki bir olumsuzluk işaretinin parantez içine dağıtılırken bağlaçların da değiştiğini söyler. "Ve" "veya"ya, "veya" "ve"ye dönüşür.
