ข้อความใดต่อไปนี้มีโครงสร้างทางตรรกศาสตร์ที่สมดุลกับ "ถ้าฝนตก แล้วถนนจะเปียก"?

เฉลยอธิบาย

ข้อ C เป็นการสมมูลตรรกะของข้อเสนอเดิม (contrapositive) ซึ่งมีค่าความจริงเดียวกับข้อเสนอเดิม ส่วน A B D เป็นการสมมูลหรือการแปลงที่ไม่ถูกต้อง