Cevap :
p ise q biçimindeki önermelere koşullu önerme denir
çalışırsa kazanır gibi
Bu önermeler, iki basit önermenin “ise” bağlacıyla birleştirilmesiyle oluşur. Bunun sonucunda “ön bileşen” ve “art bileşen” ortaya çıkar. Ancak bu birleştirmede eğer, bağlaç art bileşenin olup-olmama koşulunu ön bileşene bağlıyorsa Bitişik Koşullu Önerme; eğer bağlaç ön bileşenle art bileşenden birini seçip diğerini yok ediyorsa Ayrık Koşullu Önermedir. Örneğin : “Çok çalışırsa, istediği bölümü kazanır” (Bitişik). “Kazanamamışsa, gerektiği kadar çalışmış değildir” (Bitişik). “Ya Marmara’yı ya da Ege’yi kazanacağım” (Ayrık)