Bir mantık dersinde öğretmen "Eğer yağmur yağarsa, toprak ıslanır" önermesini sembolleştirmek ister. Aşağıdaki sembolleştirmelerden hangisi bu önermeyi doğru ifade eder?