Bileşenlerinden birinin, kendi varlığıyla diğerini geçersiz kılmasına ayrık koşullu önerme denir. Buna göre aşağıdakilerden hangisi ayrık koşullu önermedir?
Arda meyve ve sebze ağırlıklı beslenir.
Ya bu sorunu çözersin ya da bu işten ayrılırsın.
Bilim mantıksaldır; çünkü akla dayanır.
Ebru çalışırsa sınıfını geçer.