"Yağmur yağıyorsa yerler ıslaktır." önermesi ile "Yerler ıslak değilse yağmur yağmıyordur." önermesi arasında nasıl bir mantıksal ilişki vardır?
