Soru:
Aşağıdaki ifadeleri inceleyiniz. Hangisi bir önerme, hangisi sadece bir hipotez ve hangisi bir hüküm olarak sınıflandırılabilir?
- I. Hava yağmurlu.
- II. Yollar kaygandır.
- III. Eğer hava yağmurlu ise, yollar kaygandır.
Çözüm:
💡 Bu soruda, tek başına bir ifadenin ne olduğunu ve birleştiğinde nasıl bir anlam kazandığını analiz edeceğiz.
- ➡️ I. "Hava yağmurlu." → Bu, kesin bir doğruluk değeri (Doğru/Yanlış) alabilen bir ifadedir. Bu nedenle başlı başına bir önermedir. Aynı zamanda, III numaralı bileşik önermede hipotez görevi görür.
- ➡️ II. "Yollar kaygandır." → Bu da kesin bir doğruluk değeri alabilen bir ifadedir. Bu nedenle başlı başına bir önermedir. Aynı zamanda, III numaralı bileşik önermede hüküm görevi görür.
- ➡️ III. "Eğer hava yağmurlu ise, yollar kaygandır." → Bu, I ve II numaralı önermeleri "ise" (\( \Rightarrow \)) bağlacı ile birleştiren bir koşullu önermedir. Kendisi de bir önermedir ve doğru veya yanlış olabilir.
✅ Sonuç: I ve II birer önermedir. III ise bu önermelerden oluşan bir bileşik önermedir. I, III'ün hipotezi; II ise III'ün hükmüdür.