🎓 Doğruluk tablosu (Çizelgesi) nedir Test 1 - Ders Notu
Bu ders notu, "Doğruluk tablosu (Çizelgesi) nedir Test 1" testinde karşılaşabileceğiniz temel mantık kavramlarını, önermeleri ve mantıksal bağlaçların doğruluk değerlerini sade bir dille açıklamaktadır. Amacımız, doğruluk tablolarını rahatça oluşturabilmeniz ve yorumlayabilmeniz için sağlam bir temel oluşturmaktır.
📌 Önermeler ve Doğruluk Değerleri
Mantıkta "önerme", doğru ya da yanlış kesin bir hüküm bildiren cümlelere denir. Bir cümle aynı anda hem doğru hem de yanlış olamaz.
- Önerme Örnekleri:
- "Türkiye'nin başkenti Ankara'dır." (Doğru bir önerme)
- "2 + 2 = 5." (Yanlış bir önerme)
- Önerme Olmayanlar: Soru, emir, dilek veya ünlem cümleleri önerme değildir.
- "Hava bugün nasıl?" (Soru cümlesi)
- "Kapıyı kapat!" (Emir cümlesi)
- Doğruluk Değeri: Bir önermenin doğru olması durumunda doğruluk değeri $1$ (D), yanlış olması durumunda ise $0$ (Y) ile gösterilir.
💡 İpucu: Bir cümlenin önerme olup olmadığını anlamak için, o cümlenin "doğru mu yanlış mı?" sorusuna kesin bir cevap verip veremediğine bakın.
📌 Mantıksal Bağlaçlar
Birden fazla önermeyi birbirine bağlamak veya bir önermenin anlamını değiştirmek için mantıksal bağlaçlar kullanılır. Her bağlacın kendine özgü bir doğruluk kuralı vardır.
📝 Değil (Olumsuzlama / Negasyon - $\neg$)
Bir önermenin "değili" veya "olumsuzu", o önermenin doğruluk değerini tersine çevirir.
- Sembolü: $\neg$ (veya bazen $\sim$)
- Okunuşu: "p'nin değili", "p değil".
- Doğruluk Kuralı:
- Eğer $p$ doğru ($1$) ise, $\neg p$ yanlış ($0$) olur.
- Eğer $p$ yanlış ($0$) ise, $\neg p$ doğru ($1$) olur.
- Örnek: $p$: "Bugün hava güneşli." $\neg p$: "Bugün hava güneşli değil."
📝 Ve (Tümel Evetleme / Konjonksiyon - $\land$)
İki önermeyi "ve" bağlacıyla birleştirmek, her iki önermenin de doğru olmasını gerektirir.
- Sembolü: $\land$
- Okunuşu: "p ve q".
- Doğruluk Kuralı: $p \land q$ önermesi sadece ve sadece hem $p$ hem de $q$ doğru olduğunda doğrudur ($1$). Diğer tüm durumlarda yanlıştır ($0$).
- Günlük Hayat Örneği: "Hem ders çalıştım hem de ödevimi yaptım." Bu cümle sadece ders çalıştıysanız VE ödevinizi yaptıysanız doğrudur. Birini bile yapmadıysanız cümle yanlıştır.
📝 Veya (Tikel Evetleme / Dizjonksiyon - $\lor$)
İki önermeyi "veya" bağlacıyla birleştirmek, en az bir önermenin doğru olmasını yeterli kılar.
- Sembolü: $\lor$
- Okunuşu: "p veya q".
- Doğruluk Kuralı: $p \lor q$ önermesi sadece ve sadece hem $p$ hem de $q$ yanlış olduğunda yanlıştır ($0$). Diğer tüm durumlarda doğrudur ($1$).
- Günlük Hayat Örneği: "Sinemaya gideceğim veya kitap okuyacağım." Bu cümle, sinemaya gitseniz de, kitap okusanız da, hatta ikisini de yapsanız da doğrudur. Sadece ikisini de yapmazsanız yanlıştır.
📝 İse (Koşullu Önerme / İmplikasyon - $\to$)
Bu bağlaç, bir koşulun sonucunu ifade eder. "Eğer... ise..." şeklinde okunur.
- Sembolü: $\to$
- Okunuşu: "p ise q".
- Doğruluk Kuralı: $p \to q$ önermesi sadece ve sadece $p$ doğru ($1$) iken $q$ yanlış ($0$) olduğunda yanlıştır ($0$). Diğer tüm durumlarda doğrudur ($1$).
- Günlük Hayat Örneği: "Eğer yağmur yağarsa, şemsiye alırım." (Yağmur yağdı ve şemsiye aldınız: $1 \to 1 = 1$, Doğru. Yağmur yağdı ama şemsiye almadınız: $1 \to 0 = 0$, Yanlış. Yağmur yağmadı ama şemsiye aldınız: $0 \to 1 = 1$, Doğru. Yağmur yağmadı ve şemsiye almadınız: $0 \to 0 = 1$, Doğru.)
⚠️ Dikkat: "İse" bağlacında en çok karıştırılan durum, ilk önermenin yanlış olduğu durumlardır. İlk önerme yanlışsa, sonuç her zaman doğrudur ($0 \to 0 \equiv 1$ ve $0 \to 1 \equiv 1$).
📝 Ancak ve Ancak (Çift Koşullu Önerme / Çift İmplikasyon - $\leftrightarrow$)
Bu bağlaç, iki önermenin birbirine denk olduğunu, yani aynı doğruluk değerine sahip olduğunu ifade eder.
- Sembolü: $\leftrightarrow$
- Okunuşu: "p ancak ve ancak q".
- Doğruluk Kuralı: $p \leftrightarrow q$ önermesi, $p$ ve $q$ aynı doğruluk değerine sahip olduğunda doğrudur ($1$). Farklı doğruluk değerlerine sahip olduklarında yanlıştır ($0$).
- Günlük Hayat Örneği: "Dışarı çıkacağım ancak ve ancak ödevimi bitirirsem." (Hem dışarı çıktınız hem ödev bitti, veya ne dışarı çıktınız ne ödev bitti, bu durumda cümle doğru. Aksi durumlarda yanlış.)
📌 Doğruluk Tablosu Oluşturma
Doğruluk tablosu, bir bileşik önermenin tüm olası doğruluk değerlerini sistematik olarak gösteren bir çizelgedir.
- Satır Sayısı: $n$ farklı basit önerme varsa, tabloda $2^n$ adet satır bulunur. (Örn: 2 önerme ($p, q$) için $2^2=4$ satır; 3 önerme ($p, q, r$) için $2^3=8$ satır.)
- Adımlar:
- Tablonun soluna tüm basit önermeleri (p, q, r...) yazın.
- Bu önermelerin tüm olası doğruluk değerlerini sırasıyla doldurun. (Örn: $p$ için $1,1,0,0$; $q$ için $1,0,1,0$)
- Bileşik önermenin parçalarını sırasıyla (parantez içinden dışarıya doğru) hesaplayarak sütunlar ekleyin.
- En sağ sütunda bileşik önermenin nihai doğruluk değerlerini elde edersiniz.
💡 İpucu: Doğruluk tablosu oluştururken adımları kaçırmamak için her bir bağlacı sırasıyla uygulamak ve her ara işlemi ayrı bir sütunda göstermek karışıklığı önler.
📌 Denk Önermeler ($\equiv$)
İki bileşik önermenin doğruluk tablolarının son sütunları tamamen aynıysa, bu önermelere "denk önermeler" denir ve aralarına $\equiv$ sembolü konur.
- Örnek: $\neg (p \land q) \equiv (\neg p \lor \neg q)$ (De Morgan Kuralı)
📌 Totoloji, Çelişki ve Olumsallık
Bir bileşik önermenin doğruluk tablosunun son sütununa bakarak, o önermenin türünü belirleyebiliriz:
- Totoloji: Bir bileşik önerme, doğruluk değeri her zaman doğru ($1$) ise bir totolojidir. (Son sütunun tamamı $1$ olur.)
- Çelişki: Bir bileşik önerme, doğruluk değeri her zaman yanlış ($0$) ise bir çelişkidir. (Son sütunun tamamı $0$ olur.)
- Olumsallık: Bir bileşik önerme, doğruluk değeri hem doğru hem de yanlış olabiliyorsa bir olumsallıktır. (Son sütunda hem $1$ hem de $0$ bulunur.)
📝 Not: Totolojiler mantıksal olarak her zaman doğru olan ifadelerdir, çelişkiler ise mantıksal olarak her zaman yanlış olan ifadelerdir. Olumsallıklar ise duruma göre doğruluk değeri değişen ifadelerdir.
