🎓 Karşılıklı koşul (⇔) doğruluk tablosu Test 1 - Ders Notu
Bu ders notu, "Karşılıklı koşul (⇔) doğruluk tablosu Test 1" testinde karşılaşacağınız temel mantık kavramlarını, özellikle de karşılıklı koşul önermesini ve doğruluk tablosu oluşturmayı sade bir dille özetlemektedir.
📌 Önermeler ve Doğruluk Değerleri
Mantıkta her şey önermelerle başlar. Bir önerme, doğru ya da yanlış kesin bir hüküm bildiren ifadedir.
- Önerme: Doğru (D) ya da Yanlış (Y) olmak üzere sadece iki doğruluk değeri alabilen cümlelerdir. Emir, soru, ünlem cümleleri önerme değildir.
- Doğruluk Değeri: Bir önermenin doğru olması "1" (veya D), yanlış olması "0" (veya Y) ile gösterilir.
- Örnek: "Türkiye'nin başkenti Ankara'dır." (Doğruluk değeri: 1)
- Örnek: "2 + 3 = 6" (Doğruluk değeri: 0)
💡 İpucu: Bir ifadenin önerme olup olmadığını anlamak için "Bu cümle doğru mu yanlış mı?" sorusunu sorun. Kesin bir cevabı varsa önermedir.
📌 Mantık Bağlaçları (Kısaca)
Önermeleri birbirine bağlamak için mantık bağlaçlarını kullanırız. Bu testte özellikle karşılıklı koşul bağlacına odaklanacağız, ancak diğerlerini de hatırlamak faydalıdır.
- Değil (Olumsuzlama - ¬): Bir önermenin doğruluk değerini tersine çevirir. ($p$'nin değili $¬p$ olarak yazılır.)
- Ve (∧): İki önerme de doğruysa sonuç doğru, diğer durumlarda yanlıştır. ($p \land q$)
- Veya (∨): İki önermeden en az biri doğruysa sonuç doğru, ikisi de yanlışsa yanlıştır. ($p \lor q$)
- İse (Koşullu Önerme - ⇒): "$p \Rightarrow q$" ifadesi, $p$ doğru, $q$ yanlış olduğunda yanlış; diğer tüm durumlarda doğrudur. (Yani doğru bir şeyden yanlış bir şey çıkmaz.)
📌 Karşılıklı Koşul (Ancak ve Ancak - ⇔)
Bu testin ana konusu olan karşılıklı koşul bağlacı, iki önermenin birbirine "ancak ve ancak" koşuluyla bağlı olduğunu ifade eder. Sembolü $ \Leftrightarrow $ şeklindedir.
- Tanım: "$p \Leftrightarrow q$" önermesi, "$p$ ancak ve ancak $q$" şeklinde okunur. Bu önerme, $p$ ve $q$ önermelerinin aynı doğruluk değerine sahip olması durumunda doğrudur.
- Anlamı: Eğer $p$ doğruysa, $q$ da doğrudur VE eğer $q$ doğruysa, $p$ de doğrudur. Veya $p$ yanlışsa, $q$ da yanlıştır VE $q$ yanlışsa, $p$ de yanlıştır.
- Doğruluk Tablosu:
| $p$ |
$q$ |
$p \Leftrightarrow q$ |
| 1 |
1 |
1 |
| 1 |
0 |
0 |
| 0 |
1 |
0 |
| 0 |
0 |
1 |
- Günlük Hayattan Örnek: "Ayşe okula gidecek ancak ve ancak hava güneşli olursa."
- Hava güneşli (D) ve Ayşe okula gitti (D) $\Rightarrow$ Önerme doğru (1)
- Hava güneşli (D) ama Ayşe okula gitmedi (Y) $\Rightarrow$ Önerme yanlış (0)
- Hava güneşli değil (Y) ama Ayşe okula gitti (D) $\Rightarrow$ Önerme yanlış (0)
- Hava güneşli değil (Y) ve Ayşe okula gitmedi (Y) $\Rightarrow$ Önerme doğru (1)
- Eşdeğerlik: Karşılıklı koşul önermesi, iki koşullu önermenin "ve" bağlacıyla bağlanmasına denktir: $(p \Leftrightarrow q) \equiv (p \Rightarrow q) \land (q \Rightarrow p)$.
⚠️ Dikkat: $p \Leftrightarrow q$ önermesinin doğru olması için $p$ ve $q$'nun doğruluk değerlerinin kesinlikle aynı olması gerektiğini unutmayın. Farklı değerlere sahip olduklarında sonuç her zaman yanlıştır.
📌 Doğruluk Tablosu Oluşturma Teknikleri
Karmaşık önermelerin doğruluk değerlerini bulmak için doğruluk tabloları kullanılır. İşte adım adım nasıl oluşturulacağı:
- Satır Sayısı: Bir önermede $n$ farklı temel önerme (örneğin $p, q, r$) varsa, doğruluk tablosunda $2^n$ adet satır bulunur. (2 önerme için $2^2=4$ satır, 3 önerme için $2^3=8$ satır.)
- Temel Önermeleri Yazma: İlk sütunlara temel önermeleri ($p, q, r, ...$) yazın.
- Değerleri Doldurma:
- En soldaki önerme ($p$) için ilk $2^{n-1}$ satıra "1", sonraki $2^{n-1}$ satıra "0" yazın.
- Bir sonraki önerme ($q$) için $2^{n-2}$ adet "1", $2^{n-2}$ adet "0" şeklinde devam edin.
- En sağdaki temel önerme için "1, 0, 1, 0, ..." şeklinde sıralayın.
- Bağlaçları Adım Adım Hesaplama: Parantez içindeki ifadelerden başlayarak, her bir bağlacın doğruluk değerini sütunlar halinde hesaplayın.
- Örnek ($p \Leftrightarrow q$ için):
- $p$ ve $q$ sütunlarını oluştur.
- $p$ için 1,1,0,0; $q$ için 1,0,1,0 değerlerini yaz.
- $p \Leftrightarrow q$ sütununu, $p$ ve $q$'nun doğruluk değerlerinin aynı olduğu durumlarda "1", farklı olduğu durumlarda "0" olarak doldur.
📝 Pratik Önerisi: Bol bol doğruluk tablosu oluşturma alıştırması yapın. Özellikle parantezli ve birden fazla bağlaç içeren ifadelerde adımları doğru takip etmek çok önemlidir.
