Soru: "Eğer yağmur yağarsa, toprak ıslanır." önermesi doğru iken aşağıdakilerden hangisi doğru olmak zorundadır?
A) Yağmur yağdı, toprak ıslanmadı.
B) Toprak ıslak, o halde yağmur yağdı.
C) Yağmur yağmadı, toprak ıslak.
D) Toprak ıslanmadı, o halde yağmur yağmadı.
E) Yağmur yağdı, toprak ıslak.
Çözüm: Verilen koşullu önerme: p → q (p: yağmur yağar, q: toprak ıslanır). Doğru olduğunda:
• p doğru ise q doğru olmalı (E seçeneği).
• p yanlış ise q'nun değeri önemli değil (C mümkün).
• q doğru ise p'nin değeri bilinemez (B zorunlu değil).
• q yanlış ise p yanlış olmalı (D seçeneği).
Zorunlu doğru olan, q yanlışken p'nin yanlış olmasıdır: D seçeneği.
