Mantıkta koşullu önerme, iki önermenin "ise" (⇒) bağlacı ile birleştirilmesiyle oluşturulur. Örnek: p: "İstanbul, Marmara Denizi kıyısındadır.". q: "İstanbul, Marmara bölgesindedir.". Bu önermeler "ise" bağlacı ile şu şekilde birleştirilir: p ⇒ q: "İstanbul, Marmara Denizi kıyısında ise, İstanbul, Marmara bölgesindedir.". Özellikler: p ⇒ q önermesinde, p önermesi önceki, q önermesi ise sonraki olarak adlandırılır. p önermesi, q için yeterli şart; q ise p için gerekli şarttır. p ⇒ q önermesinin doğruluk değeri, p doğru, q yanlış iken yanlış, diğer tüm durumlar için doğrudur.