🎓 Matematiksel Mantıkla Zafere Ulaş Test 1 - Ders Notu
Bu ders notu, "Matematiksel Mantıkla Zafere Ulaş Test 1" sınavında karşılaşabileceğin temel konuları, yani önermeler, bileşik önermeler, De Morgan kuralları ve koşullu önermeler gibi kavramları sade ve anlaşılır bir dille özetlemektedir. Bu notlarla mantık konularına sağlam bir başlangıç yapabilirsin!
📌 Önermeler ve Doğruluk Değerleri
Mantığın en temel yapı taşı olan önermeleri ve onların nasıl değerlendirildiğini anlamak çok önemlidir.
- Tanım: Doğru ya da yanlış kesin bir hüküm bildiren ifadelere "önerme" denir. Soru, emir, dilek ve ünlem cümleleri önerme değildir.
- Doğruluk Değeri: Bir önerme doğru ise doğruluk değeri "1" (D), yanlış ise "0" (Y) ile gösterilir.
- Denk Önermeler: Doğruluk değerleri aynı olan önermelere denk önermeler denir. $p \equiv q$ şeklinde gösterilir.
- Bir Önermenin Değili (Olumsuzu): Bir önermenin hükmünün değiştirilmesiyle elde edilen yeni önermeye o önermenin değili denir. $p'$ veya $\sim p$ ile gösterilir. Eğer $p$ doğru ise $p'$ yanlıştır, eğer $p$ yanlış ise $p'$ doğrudur.
💡 İpucu: Bir ifadenin önerme olup olmadığını anlamak için kendine "Bu cümle doğru mu yanlış mı?" diye sor. Kesin bir cevap verebiliyorsan, o bir önermedir.
📌 Bileşik Önermeler ve Bağlaçlar
Birden fazla önermenin mantıksal bağlaçlarla birleştirilmesiyle oluşan önermelere "bileşik önerme" denir.
- "ve" Bağlacı ($\land$): İki önermeden oluşan "$p \land q$" bileşik önermesi, her iki önerme de doğru iken doğru, diğer durumlarda yanlıştır. (Örn: Hem ders çalıştım hem de ödevimi yaptım.)
- "veya" Bağlacı ($\lor$): İki önermeden oluşan "$p \lor q$" bileşik önermesi, her iki önerme de yanlış iken yanlış, diğer durumlarda doğrudur. (Örn: Ders çalışırım veya oyun oynarım.)
- "ya da" Bağlacı ($\underline{\lor}$): İki önermeden oluşan "$p \underline{\lor} q$" bileşik önermesi, önermelerin doğruluk değerleri farklı iken doğru, aynı iken yanlıştır. (Örn: Ya çay içerim ya da kahve içerim, ikisini birden içmem.)
- "ise" Bağlacı ($\implies$): İki önermeden oluşan "$p \implies q$" bileşik önermesi, ilk önerme doğru, ikinci önerme yanlış iken yanlış, diğer tüm durumlarda doğrudur. (Örn: Yağmur yağarsa şemsiye alırım.)
- "ancak ve ancak" Bağlacı ($\iff$): İki önermeden oluşan "$p \iff q$" bileşik önermesi, önermelerin doğruluk değerleri aynı iken doğru, farklı iken yanlıştır. (Örn: Sınavı geçerim ancak ve ancak çok çalışırsam.)
⚠️ Dikkat: "ise" bağlacında en çok hata yapılan durum, doğruyken yanlışa gitme ($1 \implies 0$) durumudur. Bu durumda sonuç her zaman yanlıştır. Diğer tüm durumlarda ($1 \implies 1$, $0 \implies 1$, $0 \implies 0$) sonuç doğrudur.
📌 De Morgan Kuralları
De Morgan kuralları, bileşik önermelerin değillerini alırken çok işine yarayacak önemli kurallardır.
- $(p \land q)' \equiv p' \lor q'$: "ve" bağlacıyla birleşen önermenin değili alınırken, önermelerin değilleri alınır ve "ve" bağlacı "veya" bağlacına dönüşür.
- $(p \lor q)' \equiv p' \land q'$: "veya" bağlacıyla birleşen önermenin değili alınırken, önermelerin değilleri alınır ve "veya" bağlacı "ve" bağlacına dönüşür.
💡 İpucu: Bu kuralları "değilin dağılması" gibi düşünebilirsin. Değil içeri girerken bağlacı tersine çevirir.
📌 Totoloji, Çelişki ve Gerektirme
Bazı bileşik önermeler her zaman doğru, bazıları ise her zaman yanlış sonuç verir.
- Totoloji: Bir bileşik önerme, değişkenlerinin tüm doğruluk değerleri için daima doğru (1) sonuç veriyorsa, bu önermeye "totoloji" denir. (Örn: $p \lor p'$ her zaman doğrudur.)
- Çelişki: Bir bileşik önerme, değişkenlerinin tüm doğruluk değerleri için daima yanlış (0) sonuç veriyorsa, bu önermeye "çelişki" denir. (Örn: $p \land p'$ her zaman yanlıştır.)
- Gerektirme: Bir $p \implies q$ koşullu önermesi bir totoloji ise, "$p$ önermesi $q$ önermesini gerektirir" denir ve $p \implies q$ şeklinde gösterilir.
- Çift Gerektirme: Bir $p \iff q$ iki yönlü koşullu önermesi bir totoloji ise, "$p$ önermesi $q$ önermesine denktir" denir ve $p \iff q$ şeklinde gösterilir.
📝 Unutma: Totolojiler mantıksal olarak her zaman geçerli olan ifadelerdir, çelişkiler ise her zaman geçersizdir.
📌 Koşullu Önermenin Karşıtı, Tersi ve Karşıt Tersi
$p \implies q$ şeklindeki bir koşullu önermenin farklı versiyonları vardır:
- Karşıtı: $q \implies p$ (Önermelerin yerleri değişir.)
- Tersi: $p' \implies q'$ (Önermelerin değilleri alınır.)
- Karşıt Tersi: $q' \implies p'$ (Önermelerin hem yerleri değişir hem de değilleri alınır.)
💡 İpucu: Bir koşullu önerme ($p \implies q$) ile onun karşıt tersi ($q' \implies p'$) daima denktir. Yani, doğruluk değerleri her zaman aynıdır.
