P ise q neye denir? 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.
