Önerme, mantıkta, öne sürülen bir ifadenin, değeri ya doğru ya da yanlış olmak zorunda olan içeriğine denir.

Örnekler:

• 2 < 3 (Doğru bir önerme)
• Türkiye'nin başkenti Ankara'dır. (Doğru bir önerme)
• 7 = 8 (Yanlış bir önerme)

Tanımdan anlaşılacağı gibi, aynı önerme olmaları için ifadelerin aynı şekilde dile getirilmesi gerekmez. Aşağıdaki önermelerin hepsi aynı önermedir ve değerleri aynıdır (hepsi yanlıştır).

• İki kere iki beş eder.
• 2x2=5
• 2'yi 2 ile çarpınca sonuç 5 çıkar.