Mantıkta önerme, doğru ya da yanlış kesin bir hüküm bildiren ifadedir. Önermeler p, q, r, s gibi küçük harflerle gösterilir ve doğruluk değerleri önermeden sonra konulan “≡” işareti ile gösterilir. Örnek önermeler: - "3 bir tek sayıdır" (doğru). - "2 + 2 = 5" (yanlış). - "x > 5" (x'in değerine bağlı olarak doğru veya yanlış olabilir).