Mantık ve önerme arasındaki ilişki şu şekilde açıklanabilir: Önerme, özne, yüklem ve bağlaçtan oluşan, doğruluk değeri taşıyan bir yargıdır. Mantık, önermeler arası çıkarım ilişkilerinin nesnel olarak ifade edilebilmesine ve denetlenebilmesine olanak veren bir bilim dalıdır. Mantık, önerme seviyesinde başlar. Önermeler, doğruluk değerlerine göre değerlendirilir. İki önermenin değeri "1" ise, bu önermeler birbirine denktir.