\( (p \wedge q) \to p \) önermesinin totoloji olup olmadığını inceleyiniz. Mantıksal akıl yürütme ve doğruluk tablosu ile açıklayınız.
Çözüm:💡 Bu bir koşullu önermedir. Bir koşullu önermenin (→) Yanlış olması için, öncülün (p∧q) Doğru, sonucun (p) ise Yanlış olması gerekir. Bu durumun mümkün olup olmadığına bakalım.
| p | q | p∧q | (p∧q)→p |
|---|---|---|---|
| 1 | 1 | 1 | 1 |
| 1 | 0 | 0 | 1 |
| 0 | 1 | 0 | 1 |
| 0 | 0 | 0 | 1 |
✅ Hem mantıksal akıl yürütme hem de doğruluk tablosu, bu önermenin bir totoloji olduğunu göstermektedir. Bu, mantıkta bir soyutlama kuralı olarak bilinir.