🎓 9. Sınıf Bir Önermenin Cebirsel İspatı ve Algoritmik Yaklaşım ile Doğrulanması Nedir? Test 1 - Ders Notu
Bu ders notu, "Bir Önermenin Cebirsel İspatı ve Algoritmik Yaklaşım ile Doğrulanması" testinde karşılaşabileceğin temel mantık konularını, önermeleri ve doğruluk değerlerini kapsamaktadır. Amacımız, mantık konularını en sade haliyle anlamanı sağlamaktır.
📌 Önerme Nedir?
Mantıkta, bir yargı bildiren ve doğru ya da yanlış kesin bir doğruluk değerine sahip olan ifadelere "önerme" denir. Önermeler, aynı anda hem doğru hem de yanlış olamazlar.
- Bir önermenin doğru olması durumunda doğruluk değeri "D" veya "1" ile gösterilir.
- Bir önermenin yanlış olması durumunda doğruluk değeri "Y" veya "0" ile gösterilir.
- Soru cümleleri, emir cümleleri, dilek cümleleri veya ünlem cümleleri önerme değildir, çünkü kesin bir doğruluk değeri taşımazlar.
Örnek:
- "Türkiye'nin başkenti Ankara'dır." (Doğru bir önermedir.)
- "2 + 3 = 6." (Yanlış bir önermedir.)
- "Hava soğuk mu?" (Soru cümlesi olduğu için önerme değildir.)
💡 İpucu: Bir ifadenin önerme olup olmadığını anlamak için, o ifadenin "doğru mu yanlış mı?" sorusuna net bir cevap verip veremediğine bak!
📌 Bileşik Önermeler ve Mantık Bağlaçları
İki veya daha fazla önermenin mantık bağlaçları ile birleştirilmesiyle oluşan önermelere "bileşik önerme" denir. Temel mantık bağlaçları şunlardır:
1. Değil (Olumsuzlama - $\neg$)
Bir önermenin hükmünün olumsuzlanmasıyla elde edilen yeni önermeye o önermenin değili denir. "$p$" önermesinin değili "$\neg p$" şeklinde gösterilir.
- Eğer $p$ doğru ise $\neg p$ yanlıştır.
- Eğer $p$ yanlış ise $\neg p$ doğrudur.
Örnek:
- $p$: "Bugün hava güneşlidir."
- $\neg p$: "Bugün hava güneşli değildir."
2. Ve Bağlacı (Tümel Evetleme - $\wedge$)
İki önermenin "ve" bağlacı ile birleştirilmesiyle oluşan bileşik önermeye "ve" önermesi denir. "$p$ ve $q$" önermesi "$p \wedge q$" şeklinde gösterilir.
- $p \wedge q$ önermesi, ancak ve ancak **her iki önerme de doğru olduğunda** doğru olur.
- Diğer tüm durumlarda yanlıştır.
Örnek:
- $p$: "Elma bir meyvedir." (D)
- $q$: "2 tek sayıdır." (Y)
- $p \wedge q$: "Elma bir meyvedir ve 2 tek sayıdır." (Y)
3. Veya Bağlacı (Tikel Evetleme - $\vee$)
İki önermenin "veya" bağlacı ile birleştirilmesiyle oluşan bileşik önermeye "veya" önermesi denir. "$p$ veya $q$" önermesi "$p \vee q$" şeklinde gösterilir.
- $p \vee q$ önermesi, ancak ve ancak **her iki önerme de yanlış olduğunda** yanlış olur.
- Diğer tüm durumlarda doğrudur.
Örnek:
- $p$: "Kedi bir hayvandır." (D)
- $q$: "3 çift sayıdır." (Y)
- $p \vee q$: "Kedi bir hayvandır veya 3 çift sayıdır." (D)
4. İse Bağlacı (Koşullu Önerme - $\Rightarrow$)
İki önermenin "ise" bağlacı ile birleştirilmesiyle oluşan bileşik önermeye "koşullu önerme" denir. "$p$ ise $q$" önermesi "$p \Rightarrow q$" şeklinde gösterilir.
- $p \Rightarrow q$ önermesi, sadece **ilk önerme doğru, ikinci önerme yanlış olduğunda** yanlış olur. (1 $\Rightarrow$ 0 $\equiv$ 0)
- Diğer tüm durumlarda doğrudur.
⚠️ Dikkat: "100 kuralı" olarak da hatırlanabilir. $1 \Rightarrow 0$ durumu hariç her zaman doğrudur.
5. Ancak ve Ancak Bağlacı (Çift Yönlü Koşullu Önerme - $\Leftrightarrow$)
İki önermenin "ancak ve ancak" bağlacı ile birleştirilmesiyle oluşan bileşik önermeye "çift yönlü koşullu önerme" denir. "$p$ ancak ve ancak $q$" önermesi "$p \Leftrightarrow q$" şeklinde gösterilir.
- $p \Leftrightarrow q$ önermesi, ancak ve ancak **iki önermenin de doğruluk değerleri aynı olduğunda** doğru olur.
- Doğruluk değerleri farklı olduğunda yanlıştır.
Örnek:
- $p$: "Bir sayı çift ise..."
- $q$: "...o sayı 2'ye tam bölünür."
- $p \Leftrightarrow q$: "Bir sayı çift ise ancak ve ancak o sayı 2'ye tam bölünür." (D)
📌 Cebirsel İspat Yöntemi: Mantık Denklikleri
Mantıkta cebirsel ispat, önermelerin doğruluk değerlerini kullanarak veya bilinen mantık özdeşliklerini (denkliklerini) uygulayarak bir önermenin başka bir önermeye denk olduğunu gösterme yöntemidir. Bu, tıpkı matematikte denklemleri sadeleştirmeye benzer.
- İki önermenin doğruluk değerleri tablosu aynıysa bu önermeler **denktir** ($\equiv$).
- Bazı önemli mantık denklikleri şunlardır:
- **De Morgan Kuralları:**
- $\neg (p \wedge q) \equiv \neg p \vee \neg q$
- $\neg (p \vee q) \equiv \neg p \wedge \neg q$
- **Dağılma Özelliği:**
- $p \wedge (q \vee r) \equiv (p \wedge q) \vee (p \wedge r)$
- $p \vee (q \wedge r) \equiv (p \vee q) \wedge (p \vee r)$
- **Tek Kuvvet Özelliği:**
- $p \wedge p \equiv p$
- $p \vee p \equiv p$
- **Birleşme Özelliği:**
- $(p \wedge q) \wedge r \equiv p \wedge (q \wedge r)$
- $(p \vee q) \vee r \equiv p \vee (q \vee r)$
- **Değişme Özelliği:**
- $p \wedge q \equiv q \wedge p$
- $p \vee q \equiv q \vee p$
- **Yutan Eleman Özelliği:**
- $p \wedge 0 \equiv 0$
- $p \vee 1 \equiv 1$
- **Etkisiz Eleman Özelliği:**
- $p \wedge 1 \equiv p$
- $p \vee 0 \equiv p$
- **$\Rightarrow$ Bağlacının Denklikleri:**
- $p \Rightarrow q \equiv \neg p \vee q$ (Çok önemli bir denklik!)
- $p \Rightarrow q \equiv \neg q \Rightarrow \neg p$ (Karşıt Ters)
📝 **Örnek Uygulama:** $(p \wedge q) \vee (p \wedge \neg q)$ önermesinin en sade halini bulalım.
- $(p \wedge q) \vee (p \wedge \neg q)$
- $p \wedge (q \vee \neg q)$ (Dağılma özelliği uygulandı)
- $p \wedge 1$ ($q \vee \neg q$ her zaman doğrudur, yani 1'e denktir.)
- $p$ ($p \wedge 1$ her zaman $p$'ye denktir.)
- Yani, $(p \wedge q) \vee (p \wedge \neg q) \equiv p$.
📌 Algoritmik Yaklaşım ile Doğrulama: Doğruluk Tabloları
Bir önermenin doğruluğunu veya iki önermenin denkliğini algoritmik (adım adım, sistematik) olarak kontrol etmenin en etkili yollarından biri "doğruluk tabloları" oluşturmaktır.
- Doğruluk tablosu, bir veya daha fazla önermenin alabileceği tüm doğruluk değerlerini ve bu değerlere göre bileşik önermenin sonucunu gösteren bir tablodur.
- $n$ tane farklı önerme içeren bir bileşik önermenin doğruluk tablosunda $2^n$ tane satır bulunur. (Örn: 2 önerme için $2^2=4$ satır, 3 önerme için $2^3=8$ satır.)
Doğruluk Tablosu Oluşturma Adımları:
- **Adım 1:** Tablonun sol tarafına tüm basit önermeleri (p, q, r...) yaz.
- **Adım 2:** Bu önermelerin alabileceği tüm doğruluk değerlerini sistematik olarak listele ($2^n$ satır).
- **Adım 3:** Bileşik önermede geçen her bir basit önermenin değilini ($\neg p$, $\neg q$ gibi) hesapla.
- **Adım 4:** Parantez içindeki ifadelerin doğruluk değerlerini hesapla.
- **Adım 5:** En son, tüm bileşik önermenin doğruluk değerlerini hesaplayarak tabloyu tamamla.
💡 İpucu: Bir önermenin doğruluk tablosundaki tüm sonuçlar "1" ise o önermeye "totoloji" denir. Tüm sonuçlar "0" ise "çelişki" denir.
