Aşağıdaki bileşik önermenin doğruluk tablosunu oluşturunuz: \( \neg p \to (q \lor r) \)
Çözüm:💡 Bu örnekte üç farklı önerme var (\( p, q, r \)). Bu durumda \( 2^3 = 8 \) farklı doğruluk değeri kombinasyonu vardır. İşlem sırası: Önce \( \neg p \) ve \( q \lor r \) hesaplanır, sonra bu ikisi arasındaki "ise" bağlacı değerlendirilir.
Doğruluk tablosu aşağıdaki gibidir:
| \( p \) | \( q \) | \( r \) | \( \neg p \)** | \( q \lor r \)** | \( \neg p \to (q \lor r) \)** |
|---|---|---|---|---|---|
| 1 | 1 | 1 | 0 | 1 | 1 |
| 1 | 1 | 0 | 0 | 1 | 1 |
| 1 | 0 | 1 | 0 | 1 | 1 |
| 1 | 0 | 0 | 0 | 0 | 1 |
| 0 | 1 | 1 | 1 | 1 | 1 |
| 0 | 1 | 0 | 1 | 1 | 1 |
| 0 | 0 | 1 | 1 | 1 | 1 |
| 0 | 0 | 0 | 1 | 0 | 0 |
✅ Sonuç: \( \neg p \to (q \lor r) \) önermesi, yalnızca \( p, q \) ve \( r \) önermelerinin tümünün yanlış olduğu durumda yanlıştır. Diğer tüm 7 durumda doğrudur.
