P Q ne demek? “p ise q” önermesi genellikle p ⇒ q ile belirtilir. Koşullu öneme : “ise” bağlacı ile oluşturulan p ⇒ q bileşik önermesine koşullu önerme denir. p ⇒ q önermesinde p ye hipotez (varsayım), q ya ise hüküm (yargı) denir.