🎓 Mantık nedir Test 2 - Ders Notu
Merhaba sevgili öğrenciler! Bu ders notu, "Mantık nedir Test 2" kapsamında karşılaşabileceğiniz temel mantık kavramlarını, önermelerin özelliklerini, mantık bağlaçlarını, doğruluk tablolarını ve önemli mantıksal denklikleri sade bir dille özetlemektedir.
📌 Önermeler ve Doğruluk Değerleri
Mantıkta "önerme", doğru ya da yanlış kesin bir hüküm bildiren cümlelerdir. Bir önermenin doğru mu yoksa yanlış mı olduğunu belirten değere "doğruluk değeri" denir.
- Bir önerme ya doğrudur (D ya da $1$) ya da yanlıştır (Y ya da $0$). İkisini birden olamaz.
- Soru, emir, istek veya ünlem cümleleri önerme değildir. Çünkü bu cümlelerin doğruluk değeri belirlenemez.
- Örnek: "Türkiye'nin başkenti Ankara'dır." (Doğru önerme, $1$)
- Örnek: "2 + 3 = 7" (Yanlış önerme, $0$)
💡 İpucu: Bir cümlenin önerme olup olmadığını anlamak için, o cümlenin "doğru mu yanlış mı" diye yargılanıp yargılanamayacağına bakın.
📌 Mantık Bağlaçları ve Sembolleri
Birden fazla önermeyi birbirine bağlamak veya bir önermenin anlamını değiştirmek için mantık bağlaçları kullanılır. Her bağlacın kendine özgü bir sembolü ve doğruluk kuralı vardır.
- Değil (Olumsuzlama): $\neg$ (okunuşu: "değil p"). Bir önermenin doğruluk değerini tersine çevirir. Eğer $p$ doğruysa, $\neg p$ yanlıştır.
- Ve (Tümel Evetleme): $\land$ (okunuşu: "p ve q"). İki önermenin de doğru olması durumunda sonuç doğrudur, diğer tüm durumlarda yanlıştır.
- Veya (Tikel Evetleme): $\lor$ (okunuşu: "p veya q"). En az bir önermenin doğru olması durumunda sonuç doğrudur, her ikisi de yanlışsa sonuç yanlıştır.
- İse (Koşullu Önerme): $\to$ (okunuşu: "p ise q"). Sadece birinci önerme doğru, ikinci önerme yanlışken sonuç yanlıştır. Diğer tüm durumlarda sonuç doğrudur.
- Ancak ve Ancak (Çift Koşullu Önerme): $\leftrightarrow$ (okunuşu: "p ancak ve ancak q"). İki önermenin doğruluk değerleri aynıysa (ikisi de doğru veya ikisi de yanlış) sonuç doğrudur.
⚠️ Dikkat: "İse" $(\to)$ bağlacı, günlük dildeki "sebep-sonuç" ilişkisinden farklı çalışabilir. Mantıkta sadece $1 \to 0$ durumu yanlıştır.
📌 Bileşik Önermelerin Doğruluk Tabloları
Mantık bağlaçlarıyla oluşturulan önermelerin doğruluk değerlerini sistematik olarak gösteren tablolara "doğruluk tablosu" denir. $n$ farklı önermenin olduğu bir bileşik önermenin $2^n$ tane doğruluk durumu vardır.
- $\neg p$ tablosu:
- $p=1 \Rightarrow \neg p=0$
- $p=0 \Rightarrow \neg p=1$
- $p \land q$ tablosu:
- $1 \land 1 \Rightarrow 1$
- $1 \land 0 \Rightarrow 0$
- $0 \land 1 \Rightarrow 0$
- $0 \land 0 \Rightarrow 0$
- $p \lor q$ tablosu:
- $1 \lor 1 \Rightarrow 1$
- $1 \lor 0 \Rightarrow 1$
- $0 \lor 1 \Rightarrow 1$
- $0 \lor 0 \Rightarrow 0$
- $p \to q$ tablosu:
- $1 \to 1 \Rightarrow 1$
- $1 \to 0 \Rightarrow 0$
- $0 \to 1 \Rightarrow 1$
- $0 \to 0 \Rightarrow 1$
- $p \leftrightarrow q$ tablosu:
- $1 \leftrightarrow 1 \Rightarrow 1$
- $1 \leftrightarrow 0 \Rightarrow 0$
- $0 \leftrightarrow 1 \Rightarrow 0$
- $0 \leftrightarrow 0 \Rightarrow 1$
📝 Örnek: "Hava güneşli VE dışarıda kar yağıyor." önermesi, güneşli olması doğru ($1$) ama kar yağması yanlış ($0$) olduğundan $1 \land 0 = 0$ (yanlış) olur.
📌 Totoloji, Çelişki ve Olumsallık
Bileşik önermeler, doğruluk tablolarının sonuç sütununa göre sınıflandırılır.
- Totoloji: Bir bileşik önerme, doğruluk tablosundaki tüm durumlar için her zaman doğru ($1$) sonuç veriyorsa, bu önermeye totoloji denir. (Örn: $p \lor \neg p$)
- Çelişki: Bir bileşik önerme, doğruluk tablosundaki tüm durumlar için her zaman yanlış ($0$) sonuç veriyorsa, bu önermeye çelişki denir. (Örn: $p \land \neg p$)
- Olumsallık (Tutar Önerme): Bir bileşik önerme, doğruluk tablosundaki bazı durumlar için doğru, bazı durumlar için yanlış sonuç veriyorsa, bu önermeye olumsallık denir. (Örn: $p \land q$)
🧠 Unutma: Bir önermenin totoloji mi, çelişki mi yoksa olumsallık mı olduğunu anlamak için doğruluk tablosunu oluşturmak en kesin yoldur.
📌 Mantıksal Denklikler
İki bileşik önerme, doğruluk değerleri her zaman aynıysa birbirine "mantıksal denktir" denir ve $\equiv$ sembolü ile gösterilir. Denklikler, karmaşık önermeleri basitleştirmek için kullanılır.
- De Morgan Kuralları:
- $\neg(p \land q) \equiv \neg p \lor \neg q$
- $\neg(p \lor q) \equiv \neg p \land \neg q$
- Koşullu Önermenin Denkliği: $p \to q \equiv \neg p \lor q$ (Bu, "ise" bağlacını "veya" bağlacına çevirmenin en yaygın yoludur.)
- Dağılma Özelliği:
- $p \land (q \lor r) \equiv (p \land q) \lor (p \land r)$
- $p \lor (q \land r) \equiv (p \lor q) \land (p \lor r)$
- Tek Kuvvet Özelliği: $p \land p \equiv p$ ve $p \lor p \equiv p$
💡 İpucu: Denklikler, uzun ve karmaşık mantık ifadelerini daha kısa ve anlaşılır hale getirmenize yardımcı olur. Özellikle De Morgan kuralları ve koşullu önermenin denkliği sıkça kullanılır.
📌 Koşullu Önermenin Karşıtı, Tersi ve Karşıt Tersi
Bir $p \to q$ şeklindeki koşullu önermenin farklı biçimleri vardır ve bunların doğruluk değerleri orijinal önermeyle ilişkili olabilir.
- Orijinal Önerme: $p \to q$ ("Eğer yağmur yağarsa, yerler ıslanır.")
- Karşıtı: $q \to p$ ("Eğer yerler ıslanırsa, yağmur yağmıştır.") - Orijinal önermeye denk olmak zorunda değildir.
- Tersi: $\neg p \to \neg q$ ("Eğer yağmur yağmazsa, yerler ıslanmaz.") - Orijinal önermeye denk olmak zorunda değildir.
- Karşıt Tersi: $\neg q \to \neg p$ ("Eğer yerler ıslanmazsa, yağmur yağmamıştır.") - Bu önerme, orijinal $p \to q$ önermesine her zaman denktir!
✅ Önemli Bilgi: Bir koşullu önerme ($p \to q$) ile onun karşıt tersi ($\neg q \to \neg p$) her zaman mantıksal olarak denktir. Bu bilgi, mantık sorularında sıkça kullanılır.
