Aşağıdaki bileşik önermenin doğruluk tablosunu oluşturunuz: \( (p \to q) \land p \)
Çözüm:💡 Bu önerme, bir "ise" ve bir "ve" bağlacı içermektedir. Önce parantez içi (\( p \to q \)) hesaplanmalı, daha sonra sonuç ile \( p \) önermesi "ve" (\(\land\)) bağlacı ile birleştirilmelidir.
Doğruluk tablosu aşağıdaki gibidir:
| \( p \) | \( q \) | \( p \to q \)** | \( (p \to q) \land p \)** |
|---|---|---|---|
| 1 | 1 | 1 | 1 |
| 1 | 0 | 0 | 0 |
| 0 | 1 | 1 | 0 |
| 0 | 0 | 1 | 0 |
✅ Sonuç: \( (p \to q) \land p \) önermesi, yalnızca hem \( p \) hem de \( q \) doğru olduğunda doğrudur. Bu tablo aslında Modus Ponens adı verilen geçerli bir çıkarım kuralının doğruluğunu göstermektedir.
