Bu soruyu çözmek için, mantıkta sıkça karşılaştığımız "koşullu önerme" kavramını anlamamız gerekiyor. Koşullu önermeler, genellikle "Eğer ... ise, o zaman ..." yapısında kurulan cümlelerdir.
- Bir koşullu önermenin iki ana kısmı vardır:
- "Eğer" kısmı (Koşul): Bu kısım, bir durumun veya olayın gerçekleştiği varsayımını ifade eder. Bu varsayımın doğru olup olmadığına bakılmaksızın, önermenin ilk bölümünü oluşturur. Mantıkta buna "hipotez" veya "öncül" denir.
- "O zaman" kısmı (Sonuç): Bu kısım ise, "eğer" kısmındaki koşul gerçekleştiğinde ortaya çıkacak olan sonucu veya hükmü ifade eder. Buna "hüküm" veya "ardıl" denir.
Şimdi sorudaki önermeyi inceleyelim:
"Eğer yağmur yağarsa, yerler ıslanır."
- Burada "yağmur yağarsa" kısmı, bir koşulu, bir varsayımı ifade etmektedir. Yani, bu durumun gerçekleşmesi halinde ne olacağını düşündüğümüz başlangıç noktasıdır.
- Bu kısım, koşullu önermenin "eğer" bölümünü oluşturur.
- Mantıkta, bir koşullu önermenin "eğer" kısmına Hipotez denir.
- "Yerler ıslanır" kısmı ise bu hipotezin sonucudur ve buna Hüküm denir.
Diğer seçeneklere de kısaca bakalım:
- A) Hüküm: Bu, koşullu önermenin "o zaman" kısmıdır, yani sonucudur. Bizim aradığımız "eğer" kısmı değildir.
- C) Teorem: Kanıtlanmış bir matematiksel veya mantıksal ifadedir. Bir önermenin belirli bir parçası değil, başlı başına bir ifadedir.
- D) Aksiyom: Doğruluğu ispatsız kabul edilen temel bir ilkedir. Teorem gibi, bir önermenin parçası değil, temel bir ifadedir.
Bu durumda, "yağmur yağarsa" kısmı, önermenin koşulunu veya varsayımını belirttiği için hipotezdir.
Cevap B seçeneğidir.