P ⇒ Q )' nedir? ile önermelerinin "ise" bağlacı ile bağlanmasıyla elde edilen bileşik önermeye koşullu önerme ya da " ise " önermesi denir ve " p ⇒ q " şeklinde gösterilir.
