Koşullu Önermeler nedir?

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)