Günlük dildeki 'Eğer yağmur yağarsa, yerler ıslanır.' ifadesi, mantığın biçimsel diline dönüştürüldüğünde en doğru şekilde hangi tür önerme ve sembolik gösterimle ifade edilir?
A) Tümel olumlu önerme; 'Tüm yağmurlar yerleri ıslatır.'
B) Tikel olumsuz önerme; 'Bazı yağmurlar yerleri ıslatmaz.'
C) Hipotetik (Koşullu) önerme; 'P → Q' (P: Yağmur yağar, Q: Yerler ıslanır).
D) Disjanktif (Ayrık) önerme; 'P ∨ Q' (P: Yağmur yağar, Q: Yerler ıslanır).
E) Kategorik önerme; 'Yağmur, yerleri ıslatan bir şeydir.'