Mantıkta "ise" bağlacı, koşullu önerme olarak da bilinir ve "p ⇒ q" şeklinde gösterilir. Bu bağlaç, "p" önermesini doğru kabul ediyorsak, "q" önermesini de doğru kabul etmemiz gerektiği anlamına gelir. Özellikleri: "p" doğru, "q" yanlış iken önerme yanlıştır. Diğer durumlarda önerme doğrudur. Örnek: "Günlerden pazar ise kahvaltıda omlet yeriz" önermesi, "p ⇒ q" şeklinde ifade edilir.