Mantıkta önerme, doğru ya da yanlış olabilen anlamlı bir ifadedir. Örneğin, "Güneş gündüz parlıyor" cümlesi bir önermedir çünkü doğruluğu kontrol edilebilir.

Önermeler, mantıksal düşüncenin temelini oluşturur. Matematikte, hukukta ve bilgisayar bilimlerinde karmaşık akıl yürütmeler bu basit önermelerden başlar. Formül mantığında, önermeler sembollerle gösterilir ve mantıksal bağlaçlarla birleştirilerek daha karmaşık yapılar kurulur. Bu yöntemler, yapay zekâ gibi modern teknolojilerde de kullanılır. Yani, basit bir önerme, çok daha büyük sistemlerin temel taşıdır.