Önerme ise nedir? " ise " bileşik önermesi, önermesini doğru kabul ediyorsak önermesini de doğru kabul etmemiz gerektiği anlamına gelir. p ⇒ q önermesi; doğru ve yanlış iken yanlış, diğer durumlarda doğrudur.