🎨 Doğruluk Tabloları Nedir?
Doğruluk tabloları, mantıkta önermelerin doğru (D) veya yanlış (Y) olma durumlarını gösteren tablolardır. Bu tablolar, önermeler arasındaki ilişkileri anlamamıza ve karmaşık mantıksal ifadelerin sonucunu belirlememize yardımcı olur. AYT Matematik konularından biri olan mantık için doğruluk tablolarını anlamak çok önemlidir.
🧠 Temel Mantık İşlemleri ve Doğruluk Tabloları
➕ Değilleme (Olumsuzlama)
Bir önermenin değili, o önermenin tam tersidir. Bir önerme doğru ise değili yanlıştır; önerme yanlış ise değili doğrudur.
- 🍎 p: Bir önerme
- 🍎 p': p'nin değili
Doğruluk Tablosu:
✖️ Ve (Bağlacı)
İki önermenin "ve" bağlacı ile bağlanması durumunda, her iki önerme de doğru ise sonuç doğrudur; aksi takdirde sonuç yanlıştır.
- 🍎 p: Birinci önerme
- 🍎 q: İkinci önerme
- 🍎 p ∧ q: p ve q
Doğruluk Tablosu:
➗ Veya (Bağlacı)
İki önermenin "veya" bağlacı ile bağlanması durumunda, önermelerden en az biri doğru ise sonuç doğrudur; her iki önerme de yanlış ise sonuç yanlıştır.
- 🍎 p: Birinci önerme
- 🍎 q: İkinci önerme
- 🍎 p ∨ q: p veya q
Doğruluk Tablosu:
➖ İse (Koşullu Önerme)
"İse" bağlacı, bir önermenin diğerini gerektirdiği durumlarda kullanılır. p ise q önermesinde, p doğru ve q yanlış ise sonuç yanlıştır; diğer tüm durumlarda sonuç doğrudur.
- 🍎 p: Birinci önerme (hipotez)
- 🍎 q: İkinci önerme (hüküm)
- 🍎 p → q: p ise q
Doğruluk Tablosu:
➗ Ancak ve Ancak (Çift Yönlü Koşullu Önerme)
"Ancak ve ancak" bağlacı, iki önermenin birbirini karşılıklı olarak gerektirdiği durumlarda kullanılır. İki önerme de doğru veya iki önerme de yanlış ise sonuç doğrudur; aksi takdirde sonuç yanlıştır.
- 🍎 p: Birinci önerme
- 🍎 q: İkinci önerme
- 🍎 p ↔ q: p ancak ve ancak q
Doğruluk Tablosu:
📝 Bileşik Önermeler ve Doğruluk Tabloları
Bileşik önermeler, birden fazla mantık işleminin bir araya gelmesiyle oluşur. Bu tür önermelerin doğruluk değerini belirlemek için adım adım doğruluk tablosu oluşturulur.
Örnek: $(p \land q) \lor (p' \rightarrow q)$ önermesinin doğruluk tablosunu oluşturalım.
1. Adım: p ve q için tüm olası durumları yazalım.
2. Adım: $p \land q$ ve $p'$ değerlerini hesaplayalım.
3. Adım: $p' \rightarrow q$ değerini hesaplayalım.
4. Adım: Son olarak, $(p \land q) \lor (p' \rightarrow q)$ değerini hesaplayalım.
| p | q | $p \land q$ | $p'$ | $p' \rightarrow q$ | $(p \land q) \lor (p' \rightarrow q)$ |
| D | D | D | Y | D | D |
| D | Y | Y | Y | D | D |
| Y | D | Y | D | D | D |
| Y | Y | Y | D | Y | Y |
✨ Çözümlü Örnekler
Soru 1: Aşağıdaki önermelerden hangisi daima doğrudur (totoloji)?
A) $p \land p'$
B) $p \lor p'$
C) $p \rightarrow p'$
D) $p \leftrightarrow p'$
Çözüm:
Doğruluk tablosunu oluşturarak inceleyelim:
| p | $p'$ | $p \land p'$ | $p \lor p'$ | $p \rightarrow p'$ | $p \leftrightarrow p'$ |
| D | Y | Y | D | Y | Y |
| Y | D | Y | D | D | Y |
Görüldüğü gibi, $p \lor p'$ önermesi daima doğrudur. Cevap: B
Soru 2: $(p \rightarrow q) \land (q \rightarrow p)$ önermesi aşağıdakilerden hangisine denktir?
A) $p \land q$
B) $p \lor q$
C) $p \leftrightarrow q$
D) $p \rightarrow q$
Çözüm:
Doğruluk tablosunu oluşturalım:
| p | q | $p \rightarrow q$ | $q \rightarrow p$ | $(p \rightarrow q) \land (q \rightarrow p)$ |
| D | D | D | D | D |
| D | Y | Y | D | Y |
| Y | D | D | Y | Y |
| Y | Y | D | D | D |
Bu tablo, $p \leftrightarrow q$ önermesinin doğruluk tablosuyla aynıdır. Cevap: C