Önermeler mantığında, özellikle koşullu önermeler (şartlı önermeler) incelenirken, bir önermenin farklı kısımlarına özel isimler verilir. Soru, bu kısımlardan birini hedef almaktadır.
- Bir koşullu önerme genellikle "Eğer P ise Q" veya "P ise Q" şeklinde ifade edilir. Burada P bir koşulu, Q ise bu koşulun sonucunu belirtir.
- "Eğer" kelimesiyle başlayan kısım (P): Bu kısım, bir durumun veya koşulun varsayıldığı, henüz doğruluğu kanıtlanmamış ancak üzerinde durulan iddiayı ifade eder. Mantıkta ve matematikte bu kısma hipotez denir. Hipotez, bir önermenin doğru kabul edilen veya doğru olduğu varsayılan başlangıç kısmıdır.
- "O zaman" veya "ise" kelimesiyle devam eden kısım (Q): Bu kısım ise hipotezin doğru olması durumunda ortaya çıkacak sonucu veya yargıyı ifade eder. Bu kısma hüküm, sonuç veya yargı denir.
- Şimdi seçenekleri inceleyelim:
- A) Hüküm: Bu, koşullu önermenin "eğer" kısmından sonra gelen, sonucu belirten kısmıdır. Dolayısıyla doğru cevap değildir.
- B) Hipotez: Bu, koşullu önermenin "eğer" kelimesiyle başlayan, varsayılan veya koşul olarak sunulan kısmıdır. Bu tanım sorudaki ifadeyle birebir uyuşmaktadır.
- C) Tez: Tez, genellikle bir araştırma veya tartışmada savunulan, kanıtlanması gereken ana fikri veya iddiayı ifade eder. Bir önermenin "eğer" kısmı için kullanılan özel bir terim değildir.
- D) Aksiyom: Aksiyom (belit), doğruluğu ispatsız kabul edilen temel önermedir. Genellikle bir matematiksel sistemin veya mantıksal yapının başlangıç noktasıdır ve bir koşullu önermenin belirli bir kısmına verilen isim değildir.
Bu açıklamalara göre, bir önermede "eğer" kelimesiyle başlayan kısma hipotez adı verilir.
Cevap B seçeneğidir.
