Bu ders notu, "De Morgan kuralları nedir (Mantık) Test 2" testinde karşılaşabileceğin temel mantık konularını, özellikle De Morgan kurallarını sade ve anlaşılır bir şekilde özetler.
De Morgan kurallarını anlamadan önce, mantıkta sıkça kullanılan üç temel bağlacı hatırlayalım. Bunlar, önermeler (doğru veya yanlış olabilen ifadeler) arasındaki ilişkileri kurmamızı sağlar.
💡 İpucu: Bu bağlaçların günlük hayattaki karşılıklarını düşünmek, mantık konularını daha iyi anlamana yardımcı olur!
De Morgan kuralları, bir "VE" veya "VEYA" bağlacıyla bağlanmış önermelerin olumsuzunu (değilini) nasıl alacağımızı gösteren iki temel mantık kuralıdır. Bu kurallar, karmaşık mantıksal ifadeleri basitleştirmemizi sağlar.
Bir "VE" bağlacıyla bağlanmış iki önermenin değilini aldığımızda, her bir önermenin ayrı ayrı değilini alır ve aradaki "VE" bağlacını "VEYA"ya çeviririz. Matematiksel olarak:
$\neg (P \land Q) \equiv \neg P \lor \neg Q$
📝 Anlamı: "Hem P hem Q değil" demek, "P değil veya Q değil" demektir.
Bir "VEYA" bağlacıyla bağlanmış iki önermenin değilini aldığımızda, her bir önermenin ayrı ayrı değilini alır ve aradaki "VEYA" bağlacını "VE"ye çeviririz. Matematiksel olarak:
$\neg (P \lor Q) \equiv \neg P \land \neg Q$
📝 Anlamı: "P veya Q değil" demek, "P değil ve Q değil" demektir.
⚠️ Dikkat: De Morgan kurallarında, olumsuzluk (değil) içeri dağıtılırken, bağlaç (VE $\leftrightarrow$ VEYA) mutlaka değişir!
Bu kuralları somutlaştırmak için basit örneklere bakalım:
Önerme: "Bugün hava güneşli VE sıcak." ($G \land S$)
Bu önermenin değili: "Bugün hava güneşli VE sıcak DEĞİL." ($\neg (G \land S)$)
De Morgan kuralına göre bu ifade şuna denktir: "Bugün hava güneşli DEĞİL VEYA sıcak DEĞİL." ($\neg G \lor \neg S$)
Yani, "Hem güneşli hem sıcak değil" demek, "ya güneşli değil ya da sıcak değil (veya her ikisi de değil)" demektir.
Önerme: "Yemeği yerim VEYA dışarı çıkarım." ($Y \lor D$)
Bu önermenin değili: "Yemeği yerim VEYA dışarı çıkarım DEĞİL." ($\neg (Y \lor D)$)
De Morgan kuralına göre bu ifade şuna denktir: "Yemeği yemem VE dışarı çıkmam." ($\neg Y \land \neg D$)
Yani, "Yemeği yerim veya dışarı çıkarım değil" demek, "ne yemeği yerim ne de dışarı çıkarım" demektir.
💡 İpucu: Mantıkta $\equiv$ sembolü, iki ifadenin mantıksal olarak birbirine denk olduğunu, yani her zaman aynı doğruluk değerine sahip olduğunu gösterir.
De Morgan kuralları, mantıksal ifadeleri basitleştirmek, denkliklerini göstermek ve hatta bilgisayar bilimleri ve elektrik mühendisliğindeki devre tasarımlarında bile kullanılır. Bu kurallar sayesinde, karmaşık görünen bir mantık ifadesini, daha kolay anlaşılır ve işlenebilir bir hale getirebiliriz.
Unutma, pratik yapmak bu kuralları pekiştirmenin en iyi yoludur. Başarılar dilerim! 🚀