Önermenin temel özellikleri: Doğruluk değeri: Önermeler doğru veya yanlış olabilir, ancak bu doğruluk değeri bilinmese bile kesin hüküm bildirmeleri gerekir. Küçük harflerle gösterim: Önermeler genellikle p, q, r, s gibi küçük harflerle gösterilir. Değer eşitliği: Doğruluk değerleri aynı olan iki önerme denk veya eş değer önerme olarak adlandırılır. Değişken içerme: İçinde değişken bulunan ve bu değişkenin farklı değerleri için doğru ya da yanlış olduğu gösterilebilen önermelere açık önerme denir. Bağlaçlarla birleştirme: İki veya daha fazla önermenin bağlaçlarla bağlanmasıyla bileşik önermeler elde edilir. Örnekler: 2 < 3 (doğru bir önerme). Türkiye'nin başkenti Ankara'dır (doğru bir önerme). 7 = 8 (yanlış bir önerme).