🎓 9. Sınıf Mantık Test 2 (Kolay) - Ders Notu ve İpuçları
Bu ders notu, 9. sınıf mantık konularına yönelik temel kavramları, bileşik önermeleri, mantık bağlaçlarını, önemli denklikleri ve niceleyicileri kapsayan kapsamlı bir tekrar rehberidir. Testteki soruların ana konularını özetleyerek, sınavlara hazırlık sürecinde başvurabileceğin kritik bilgileri ve pratik ipuçlarını sunar.
1. Önermeler ve Doğruluk Değerleri 🤔
- Önerme: Doğru ya da yanlış kesin bir hüküm bildiren ifadelere denir. Aynı anda hem doğru hem de yanlış olamaz.
- Örnekler: "Türkiye'nin başkenti Ankara'dır." (Doğru önerme), "2 + 3 = 6" (Yanlış önerme).
- Önerme Olmayan İfadeler: Emir, soru, istek, ünlem cümleleri önerme değildir. "Kapıyı kapat!", "Hava güzel mi?", "Keşke yağmur yağsa!" gibi ifadeler önerme sayılmaz çünkü doğruluk değeri belirlenemez.
- Doğruluk Değeri: Bir önerme doğru ise doğruluk değeri 1 (D), yanlış ise 0 (Y) ile gösterilir.
- n Tane Önermenin Durumu: n farklı önermenin $2^n$ farklı doğruluk durumu vardır. Örneğin, 3 farklı önermenin $2^3 = 8$ farklı doğruluk durumu bulunur.
⚠️ Dikkat: "Mantık zor bir konudur." gibi kişiden kişiye değişen, öznel ifadeler önerme değildir. Bir ifadenin önerme olup olmadığını anlamak için "Bu ifade kesinlikle doğru mu, yoksa kesinlikle yanlış mı?" diye sor. Cevap netse önermedir.
2. Önermenin Değili (Olumsuzu) 🙅♀️
- Bir önermenin hükmünü değiştiren yeni önermeye o önermenin değili (olumsuzu) denir. p önermesinin değili p' (p üssü) ile gösterilir.
- p doğru ise p' yanlış, p yanlış ise p' doğrudur. Yani, $1' \equiv 0$ ve $0' \equiv 1$.
- Bir önermenin değilinin değili, önermenin kendisine denktir: $(p')' \equiv p$.
- Örnek: p: "Bugün hava güneşlidir." ise p': "Bugün hava güneşli değildir."
3. Bileşik Önermeler ve Mantık Bağlaçları 🔗
- İki veya daha fazla önermenin mantık bağlaçları ile birleştirilmesiyle oluşan yeni önermelere bileşik önerme denir.
- a) Veya Bağlacı (v):
- "p veya q" şeklinde okunur ve $p \lor q$ ile gösterilir.
- İki önermeden en az biri doğru ise $p \lor q$ önermesi doğrudur.
- Sadece iki önerme de yanlış ise $p \lor q$ önermesi yanlıştır. (Yani, $0 \lor 0 \equiv 0$, diğer tüm durumlarda 1).
- Günlük Hayat Örneği: "Sinemaya veya tiyatroya gideceğim." Bu ifade, sinemaya gidersem doğru, tiyatroya gidersem doğru, ikisine de gidersem doğru, ama ikisine de gitmezsem yanlış olur.
- b) Ve Bağlacı (^):
- "p ve q" şeklinde okunur ve $p \land q$ ile gösterilir.
- İki önermenin her ikisi de doğru ise $p \land q$ önermesi doğrudur.
- Diğer tüm durumlarda $p \land q$ önermesi yanlıştır. (Yani, $1 \land 1 \equiv 1$, diğer tüm durumlarda 0).
- Günlük Hayat Örneği: "Hem ders çalıştım hem de ödevimi bitirdim." Bu ifade, hem ders çalışıp hem de ödevini bitirirsen doğru, aksi durumlarda yanlış olur.
- c) Koşullu Önerme ($\Rightarrow$):
- "p ise q" şeklinde okunur ve $p \Rightarrow q$ ile gösterilir.
- Bu bağlaçta tek bir durum yanlıştır: İlk önerme doğru, ikinci önerme yanlış iken ($1 \Rightarrow 0$) sonuç 0'dır.
- Diğer tüm durumlarda $p \Rightarrow q$ önermesi doğrudur.
- 💡 İpucu: "Yüzde Sıfır Kuralı" olarak akılda tutulabilir: $1 \Rightarrow 0 \equiv 0$.
- Günlük Hayat Örneği: "Yağmur yağarsa şemsiyemi alırım." Yağmur yağar (1) ve şemsiye almazsan (0) bu ifade yalan olur (0). Diğer tüm durumlar (yağmur yağmaz, şemsiye almazsın; yağmur yağar, şemsiye alırsın; yağmur yağmaz, şemsiye alırsın) doğrudur.
- d) İki Yönlü Koşullu Önerme ($\Leftrightarrow$):
- "p ancak ve ancak q" şeklinde okunur ve $p \Leftrightarrow q$ ile gösterilir.
- İki önermenin doğruluk değerleri aynı ise (ikisi de 1 veya ikisi de 0) sonuç 1'dir.
- Doğruluk değerleri farklı ise sonuç 0'dır. (Yani, $1 \Leftrightarrow 1 \equiv 1$, $0 \Leftrightarrow 0 \equiv 1$, $1 \Leftrightarrow 0 \equiv 0$, $0 \Leftrightarrow 1 \equiv 0$).
- Günlük Hayat Örneği: "Sınavı geçersin ancak ve ancak ders çalışırsın." Sınavı geçip ders çalışırsan doğru, ikisi de olmazsa doğru. Ama sınavı geçip ders çalışmazsan veya ders çalışıp sınavı geçemezsen yanlış olur.
4. Denk Önermeler ⚖️
- Doğruluk değerleri aynı olan önermelere denk önermeler denir. p ve q önermeleri denk ise $p \equiv q$ şeklinde gösterilir.
- Örneğin, $p \equiv 1$ ve $q \equiv 1$ ise $p \equiv q$'dur.
5. Mantık Kuralları ve Özellikleri (Denklikler) ✨
- De Morgan Kuralları:
- $(p \lor q)' \equiv p' \land q'$
- $(p \land q)' \equiv p' \lor q'$
- Değişme Özelliği:
- $p \lor q \equiv q \lor p$
- $p \land q \equiv q \land p$
- Birleşme Özelliği:
- $(p \lor q) \lor r \equiv p \lor (q \lor r)$
- $(p \land q) \land r \equiv p \land (q \land r)$
- 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 \lor p \equiv p$
- $p \land p \equiv p$
- Etkisiz Eleman Özelliği:
- $p \lor 0 \equiv p$ (0, veya bağlacında etkisiz elemandır)
- $p \land 1 \equiv p$ (1, ve bağlacında etkisiz elemandır)
- Yutan Eleman Özelliği:
- $p \lor 1 \equiv 1$ (1, veya bağlacında yutan elemandır)
- $p \land 0 \equiv 0$ (0, ve bağlacında yutan elemandır)
- Tümleme Özelliği:
- $p \lor p' \equiv 1$ (Totoloji)
- $p \land p' \equiv 0$ (Çelişki)
- Koşullu Önermenin Denklikleri:
- $p \Rightarrow q \equiv p' \lor q$ (Çok önemli bir denkliktir, sadeleştirme sorularında sıkça kullanılır!)
- $p \Rightarrow p \equiv 1$
- $p \Rightarrow 0 \equiv p'$
- $1 \Rightarrow p \equiv p$
- $0 \Rightarrow p \equiv 1$
- İki Yönlü Koşullu Önermenin Denklikleri:
- $p \Leftrightarrow q \equiv (p \Rightarrow q) \land (q \Rightarrow p)$
- $p \Leftrightarrow p \equiv 1$
- $p \Leftrightarrow 0 \equiv p'$
💡 İpucu: Bu denklikleri ezberlemek yerine, doğruluk tablolarıyla kendin türetmeye çalışmak veya mantığını anlamak daha kalıcı öğrenmeyi sağlar.
6. Totoloji ve Çelişki 🎯
- Totoloji: Bir bileşik önermenin doğruluk değeri, bileşenlerinin tüm olası doğruluk değerleri için daima 1 (doğru) ise bu bileşik önermeye totoloji denir.
- Örnek: $p \lor p' \equiv 1$.
- Çelişki: Bir bileşik önermenin doğruluk değeri, bileşenlerinin tüm olası doğruluk değerleri için daima 0 (yanlış) ise bu bileşik önermeye çelişki denir.
- Örnek: $p \land p' \equiv 0$.
⚠️ Dikkat: Bir önermenin doğruluk değeri her zaman 1 veya her zaman 0 değilse (yani hem 1 hem de 0 olabiliyorsa), o önerme ne totoloji ne de çelişkidir.
7. Açık Önermeler ve Niceleyiciler 🌐
- Açık Önerme: İçinde değişken (x, y, z gibi) bulunan ve bu değişkenlere verilen değerlere göre doğruluk değeri değişen ifadelere açık önerme denir.
- Örnek: $P(x)$: "x bir çift sayıdır." x=2 için doğru (1), x=3 için yanlış (0) olur.
- Niceleyiciler: Açık önermeleri önermeye dönüştürmek için kullanılan sembollerdir.
- Evrensel Niceleyici (Her, Bütün, Tüm): $\forall$ sembolü ile gösterilir. "Her x için P(x) doğrudur" şeklinde okunur. Bir açık önermeyi, değişkenin kümesindeki her eleman için doğru olduğunu iddia eder. Tek bir yanlış örnek bile önermeyi yanlış yapar.
- Varlıksal Niceleyici (Bazı, En Az Bir): $\exists$ sembolü ile gösterilir. "Bazı x'ler için P(x) doğrudur" şeklinde okunur. Bir açık önermeyi, değişkenin kümesindeki en az bir eleman için doğru olduğunu iddia eder. Tek bir doğru örnek bile önermeyi doğru yapar.
- Niceleyicilerin Değili:
- $(\forall x, P(x))' \equiv \exists x, P'(x)$ (Her'in değili bazı, önermenin değili)
- $(\exists x, P(x))' \equiv \forall x, P'(x)$ (Bazı'nın değili her, önermenin değili)
- Örnek: "Her insan yürür veya bazı kediler koşar." önermesinin değili:
- p: "Her insan yürür."
- q: "Bazı kediler koşar."
- Önerme: $p \lor q$. Değili: $(p \lor q)' \equiv p' \land q'$.
- $p'$: "Bazı insanlar yürümez."
- $q'$: "Her kedi koşmaz."
- Değili: "Bazı insanlar yürümez ve her kedi koşmaz."