Soru: "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 olumsuzlanmasıdır. Mantık kuralı: Eğer A ise B doğruysa ve B yanlışsa, A da yanlış olmalıdır. Burada A: Yağmur yağar, B: Yerler ıslanır. Yerler ıslak değil (B yanlış), o halde yağmur yağmamıştır (A yanlış). Sonuç: Yağmur yağmamıştır.
