🎓 Önerme eklemleri nelerdir Test 2 - Ders Notu
Bu ders notu, "Önerme Eklemleri" konusundaki bilginizi pekiştirmeniz için hazırlandı. Mantıkta önermelerin birleştirilmesi, doğruluk değerlerinin belirlenmesi ve temel mantık kuralları gibi kavramları sade bir dille ele alacağız.
📌 Önerme (Proposition) Nedir?
Mantıkta önerme, doğru ya da yanlış kesin bir hüküm bildiren ifadelere denir. Bir önerme aynı anda hem doğru hem de yanlış olamaz; ya doğrudur (1) ya da yanlıştır (0).
- Örnek: "Güneş doğudan doğar." (Doğru bir önerme)
- Örnek: "2 + 2 = 5" (Yanlış bir önerme)
- Soru, emir, dilek veya ünlem cümleleri önerme değildir. (Örn: "Nasılsın?", "Hava ne güzel!")
💡 İpucu: Bir ifadenin önerme olup olmadığını anlamak için, o ifadenin doğruluk değerini (doğru mu yanlış mı) kesin olarak belirleyip belirleyemediğinize bakın.
📌 Önerme Eklemleri (Mantık Bağlaçları)
Önerme eklemleri, birden fazla basit önermeyi birbirine bağlayarak bileşik önermeler oluşturmamızı sağlayan sembollerdir. Her bir eklemin kendine özgü bir doğruluk değeri kuralı vardır.
📝 Değil (Olumsuzlama) Eklemi ($\neg$)
Bir önermenin "değili" veya "olumsuzu", o önermenin doğruluk değerini tersine çevirir. Tek bir önermeye uygulanır.
- Sembolü: $\neg$ (okunuşu: "p'nin değili" veya "değil p")
- Eğer $p$ doğruysa ($\text{1}$), $\neg p$ yanlıştır ($\text{0}$). Eğer $p$ yanlışsa ($\text{0}$), $\neg p$ doğrudur ($\text{1}$).
- Doğruluk Tablosu:
- $p$ | $\neg p$
- --- | ---
- 1 | 0
- 0 | 1
⚠️ Dikkat: "Değil" eklemi, diğer eklemlerden farklı olarak sadece bir önermeye etki eder.
📝 Ve (Tümel Evetleme) Eklemi ($\land$)
"Ve" eklemi, iki önermenin aynı anda doğru olması durumunda bileşik önermeyi doğru yapar. Diğer tüm durumlarda yanlıştır.
- Sembolü: $\land$ (okunuşu: "p ve q")
- Günlük hayatta "hem... hem de..." anlamına gelir.
- Doğruluk Tablosu:
- $p$ | $q$ | $p \land q$
- --- | --- | ---
- 1 | 1 | 1
- 1 | 0 | 0
- 0 | 1 | 0
- 0 | 0 | 0
💡 İpucu: Bir işin tamamlanması için iki şartın da yerine gelmesi gibi düşünebilirsiniz. Örneğin, "Hem çalışkan hem de dürüst olmalısın." Her iki şart da sağlanmazsa sonuç doğru olmaz.
📝 Veya (Tikel Evetleme) Eklemi ($\lor$)
"Veya" eklemi, iki önermeden en az birinin doğru olması durumunda bileşik önermeyi doğru yapar. Sadece her iki önerme de yanlış olduğunda yanlıştır.
- Sembolü: $\lor$ (okunuşu: "p veya q")
- Günlük hayatta "ya... ya da..." veya "en az biri" anlamına gelebilir.
- Doğruluk Tablosu:
- $p$ | $q$ | $p \lor q$
- --- | --- | ---
- 1 | 1 | 1
- 1 | 0 | 1
- 0 | 1 | 1
- 0 | 0 | 0
💡 İpucu: Bir restoranda "Çorba veya salata alabilirsiniz." denildiğinde, ikisinden birini seçebilir, hatta isterseniz ikisini de alabilirsiniz. Sadece hiçbirini almazsanız bu ifade yanlış olur.
📝 Ya da (Tikel Kuvvetli Evetleme) Eklemi ($\underline{\lor}$)
"Ya da" eklemi, iki önermeden **sadece birinin** doğru olması durumunda bileşik önermeyi doğru yapar. Her iki önerme de aynı doğruluk değerine sahipse (ikisi de doğru veya ikisi de yanlış) yanlıştır.
- Sembolü: $\underline{\lor}$ (okunuşu: "p ya da q")
- Günlük dildeki "ya... ya da..." ifadesinin tam karşılığıdır.
- Doğruluk Tablosu:
- $p$ | $q$ | $p \underline{\lor} q$
- --- | --- | ---
- 1 | 1 | 0
- 1 | 0 | 1
- 0 | 1 | 1
- 0 | 0 | 0
⚠️ Dikkat: "Veya" ile karıştırmayın! "Veya" ikisinin de doğru olmasına izin verirken, "Ya da" ikisinin de doğru olmasına izin vermez.
📝 İse (Koşullu Önerme) Eklemi ($\implies$)
"İse" eklemi, bir koşulun sonucunu ifade eder. Bileşik önerme, sadece ilk önerme doğruyken ikinci önerme yanlış olduğunda yanlış olur. Diğer tüm durumlarda doğrudur.
- Sembolü: $\implies$ (okunuşu: "p ise q")
- İlk önermeye "hipotez" (ön koşul), ikinci önermeye "hüküm" (sonuç) denir.
- Doğruluk Tablosu:
- $p$ | $q$ | $p \implies q$
- --- | --- | ---
- 1 | 1 | 1
- 1 | 0 | 0
- 0 | 1 | 1
- 0 | 0 | 1
💡 İpucu: Bir söz gibi düşünün: "Eğer sınavı geçersen, sana hediye alacağım." ($p \implies q$)
- Sözü tuttum (Sınavı geçtin ve hediye aldım: $1 \implies 1 = 1$)
- Sözü tutmadım (Sınavı geçtin ama hediye almadım: $1 \implies 0 = 0$) - Bu durum yanlıştır!
- Sınavı geçemedin ama ben yine de hediye aldım (Sınavı geçemedin ve hediye aldım: $0 \implies 1 = 1$) - Sözü bozmadım.
- Sınavı geçemedin ve ben de hediye almadım (Sınavı geçemedin ve hediye almadım: $0 \implies 0 = 1$) - Sözü bozmadım.
⚠️ Dikkat: $p \implies q$ önermesi, $\neg p \lor q$ önermesine denktir. Bu denklik, bazı soruları çözmekte çok işinize yarayabilir!
📝 Ancak ve Ancak (Çift Yönlü Koşullu Önerme) Eklemi ($\iff$)
"Ancak ve ancak" eklemi, iki önermenin aynı doğruluk değerine sahip olması durumunda bileşik önermeyi doğru yapar. Yani, ikisi de doğru veya ikisi de yanlış ise doğrudur.
- Sembolü: $\iff$ (okunuşu: "p ancak ve ancak q")
- İki önermenin birbirine denk olduğunu gösterir.
- Doğruluk Tablosu:
- $p$ | $q$ | $p \iff q$
- --- | --- | ---
- 1 | 1 | 1
- 1 | 0 | 0
- 0 | 1 | 0
- 0 | 0 | 1
💡 İpucu: Bu eklem, $ (p \implies q) \land (q \implies p) $ bileşik önermesine denktir. Yani her iki yönde de koşul geçerlidir, tam bir denklik durumu söz konusudur.
🤔 Bazı Önemli Kavramlar ve Özellikler
Önerme eklemleriyle ilgili testlerde karşınıza çıkabilecek bazı ek kavramlar ve kurallar şunlardır:
- Totoloji: Bir bileşik önermenin, bileşenlerinin tüm doğruluk değerleri için daima doğru ($\text{1}$) olması durumu. (Örn: $p \lor \neg p$)
- Çelişki (Kontradiksiyon): Bir bileşik önermenin, bileşenlerinin tüm doğruluk değerleri için daima yanlış ($\text{0}$) olması durumu. (Örn: $p \land \neg p$)
- Tutarlılık (Olumsallık): Bir bileşik önermenin, bazı durumlarda doğru, bazı durumlarda yanlış olması durumu (Totoloji veya çelişki olmayan önermeler).
- Denklik ($\equiv$): İki bileşik önermenin doğruluk değerlerinin her durumda aynı olması durumu. $P \equiv Q$ şeklinde gösterilir.
- De Morgan Kuralları: Olumsuzlama ekleminin "ve" ile "veya" üzerindeki dağılımını gösterir.
- $\neg (p \land q) \equiv \neg p \lor \neg q$
- $\neg (p \lor q) \equiv \neg p \land \neg q$
💡 İpucu: Bir önermenin totoloji mi, çelişki mi yoksa olumlu mu olduğunu anlamak için doğruluk tablosu oluşturmak en kesin yoldur. Denklik sorularında ise denklik kurallarını veya doğruluk tablosunu kullanabilirsiniz.
