Aşağıdaki bileşik önermenin doğruluk tablosunu oluşturunuz: \( p \to (q \lor r) \)
Çözüm:🚀 Bu örnekte üç farklı önerme var (\( p, q, r \)). "İse" bağlacının sağ tarafında ise bir "veya" bağlacı bulunuyor. Öncelik sırası parantez nedeniyle önce "veya", sonra "ise" şeklindedir.
Oluşan doğruluk tablosu:
| \( p \) | \( q \) | \( r \) | \( q \lor r \)** | \( p \to (q \lor r) \)** |
|---|---|---|---|---|
| 1 | 1 | 1 | 1 | 1 |
| 1 | 1 | 0 | 1 | 1 |
| 1 | 0 | 1 | 1 | 1 |
| 1 | 0 | 0 | 0 | 0 |
| 0 | 1 | 1 | 1 | 1 |
| 0 | 1 | 0 | 1 | 1 |
| 0 | 0 | 1 | 1 | 1 |
| 0 | 0 | 0 | 0 | 1 |
✅ Sonuç: \( p \to (q \lor r) \) önermesi, sadece dördüncü satırda (p=1, q=0, r=0) yanlış değerini almaktadır. Çünkü bu durum, "ise" bağlacının yanlış olduğu tek koşulu sağlar: Hipotez doğru, sonuç yanlış.