Doğruluk değeri bilinmese de kesin hüküm bildirip, doğru veya yanlış olan cümleler önermedir. Örnek 1: "her çift sayı iki asal sayının toplamıdır" cümlesi Goldbach Sanısı adıyla bilinen, doğruluğu ya da yanlışlığı ispatlanamamış bir önermedir.
Önerme, en az iki terimin bulunduğu ve içinde yargı ve doğruluk durumu bulunan cümlelerdir. Doğru ya da yanlış olarak nitelendirilebilecek her cümle önermedir. Her önerme cümledir fakat her cümle önerme değildir.
Tek yargı belirten önermelere basit önerme denir. İstanbul Türkiye'nin başkentidir. Bu ifade bir önermedir. Ayrıca bu ifade yanlış bir önermeyi temsil eder çünkü Türkiye'nin başkenti Ankara'dır, İstanbul değildir.
Klasik mantıkta önermeler yüklemli ve şartlı olmak üzere iki kısma ayrılır; ilkine basit, ikincisine birleşik önerme de denir. Yüklemli önermeler basit olup konu, yüklem ve bağlaçtan oluşur. Bu önermede bağlaç kaldırılınca konu ve yüklem yalın birer terim olarak kalıyorsa önerme yüklemlidir.
Dilek, soru, emir ve ünlem cümleleri bir yargı bildirmedikleri ve “doğru” ya da “yanlış” olarak değerlendirilemeyecekleri için için önerme değildir.
İki önerme, kendilerini oluşturan bileşenlerinin tüm doğruluk değeri kümesi için aynı doğruluk değerin sahipse bu iki önerme mantıksal eşdeğerdir denir. P ve Q 'ya iki bileşik önerme dersek, P ve Q mantıksal eşdeğerse P ≡ Q veya P ⇔ Q şeklinde gösterilir.
Doğruluğu ya da yanlışlığı kesin olan ifadelere önerme denir. Bir önerme ya kesinlikle doğrudur ya da kesinlikle yanlıştır. Bazen doğru bazen yanlış olan ya da kimine göre doğru kimine göre yanlış olan ifadeler birer önerme değildir. Ayrıca soru, emir ve ünlem cümleleri birer önerme değildir.
p ve q lar aynı olduğu için ve burada da değili olduğu için farklıdır. Farklı olduğu için sonucunu sıfıra denk hale getirir.
“Bir gün, 893 saattir.” Bir önermedir ve doğruluk değeri, “yanlış”tır. “Ay, Dünya'nın uydusudur.” Bir önermedir ve doğruluk değeri, “doğru”dur.
Olumsuz önerme, olumsuzluk veren bir parça ve yüklemden kurulmuş önermedir; “Hiç kimse gezinmi- yor", "Şimdi gündüz değildir" gibi. Diogenes'a göre olumsuz önermenin çifte olumsuz- luk şeklinde bir çeşidi daha var.
