2. "Yağmur yağıyor ise yerler ıslaktır." önermesinin sembolik mantıktaki karşılığı aşağıdakilerden hangisidir?