Matematikte, doğru ya da yanlış kesin bir hüküm (yargı) bildiren ve aynı zamanda doğruluğu test edilebilen ifadelere önerme denir. Bir ifadenin önerme olabilmesi için kesinlikle doğru (1) veya kesinlikle yanlış (0) olması gerekir.
Örnek Önermeler:
Önerme Olmayan İfadelere Örnekler:
İki önermenin "ise" (\( \Rightarrow \)) bağlacı ile birleştirilmesiyle oluşturulan önermelere koşullu önerme denir. "Eğer ... ise ... dir." şeklinde kurulur.
Koşullu bir önerme iki kısımdan oluşur:
Genel yapı: Eğer (Hipotez) ise (Hüküm)
Örnek:
"Eğer bir dörtgen kare ise, tüm kenar uzunlukları eşittir."
Bu koşullu önerme, \( p \Rightarrow q \) şeklinde gösterilir ve "p ise q" diye okunur.
Bir koşullu önermenin doğru olabilmesi için, hipotez doğru olduğunda hükmün mutlaka doğru olması gerekir. Eğer hipotez yanlışsa, önerme her durumda doğru kabul edilir.
Örnek:
"Eğer 5 > 7 ise, 5 bir tek sayıdır." önermesini inceleyelim.