Bu soruda, mantık konusunda sıkça karşılaştığımız "Eğer P ise Q" şeklindeki bileşik önermelerin yapısını anlamamız isteniyor. Bu tür önermelere koşullu önerme veya gerektirme de denir.
- Bir koşullu önerme, iki temel kısımdan oluşur: hipotez (varsayım, ön koşul) ve hüküm (sonuç, yargı).
- "Eğer P ise Q" yapısındaki önermede:
- "P" kısmı hipotezdir. Bu, önermenin doğru kabul edilen veya varsayılan kısmıdır.
- "Q" kısmı ise hükümdür. Bu, hipotezin doğru olması durumunda ortaya çıkan sonuç veya yargıdır.
- Şimdi verilen önermeyi inceleyelim: "Eğer bir dörtgen kare ise, köşegenleri birbirine diktir."
- Burada:
- "Eğer bir dörtgen kare ise" kısmı, önermenin hipotezidir (P). Yani, varsayımımız bir dörtgenin kare olmasıdır.
- "köşegenleri birbirine diktir" kısmı ise, önermenin hükümdür (Q). Bu, bir dörtgenin kare olması durumunda ortaya çıkan sonuçtur.
- Seçeneklere baktığımızda:
- A) Hipotez: Bu, "bir dörtgen kare ise" kısmıdır.
- B) Önerme: Hem hipotez hem de hüküm birer önermedir, ancak soru belirli bir kısmı soruyor. Tüm ifade de bir bileşik önermedir.
- C) Hüküm: Bu, "köşegenleri birbirine diktir" kısmıdır.
- D) Aksiyom: Aksiyom, doğruluğu ispatsız kabul edilen temel önermelerdir ve bu bağlamda bir koşullu önermenin parçası değildir.
- Dolayısıyla, "köşegenleri birbirine diktir" kısmı, önermenin sonucunu ifade eden hükümdür.
Cevap C seçeneğidir.
