Aşağıdaki bileşik önermenin doğruluk tablosunu oluşturunuz: \( \neg p \to q \)
Çözüm:🌟 Bu örnekte "ise" bağlacının sol tarafında bir değilleme (olumsuzlama) işlemi var. Öncelikle \( \neg p \)'nin değerlerini bulmalıyız.
Oluşan doğruluk tablosu:
| \( p \) | \( q \) | \( \neg p \)** | \( \neg p \to q \)** |
|---|---|---|---|
| 1 | 1 | 0 | 1 |
| 1 | 0 | 0 | 1 |
| 0 | 1 | 1 | 1 |
| 0 | 0 | 1 | 0 |
✅ Sonuç: \( \neg p \to q \) önermesi, son satır (p=0, q=0) haricindeki tüm durumlarda doğrudur. Bu, "veya" bağlacına (\( p \lor q \)) denktir.