Soru: "Eğer yağmur yağarsa, yerler ıslanır. Yerler ıslak değil." Bu durumda yağmur hakkında ne söylenebilir?
Çözüm: Bu bir koşullu önerme (eğer...ise) ve onun tersinin kullanıldığı bir örnektir. İlk önerme: Yağmur yağar → Yerler ıslanır. İkinci önerme: Yerler ıslak değil. Mantıkta, "P → Q" ve "Q yanlış" ise "P yanlış" sonucu çıkar (modus tollens kuralı). Burada P: Yağmur yağar, Q: Yerler ıslanır. Yerler ıslak olmadığına göre, yağmur yağmamıştır.
