Mantıkta önerme, bir düşüncenin veya fikrin doğru veya yanlış olduğunu belirten bir ifadedir. Önermeler, akıl yürütme işleminde kullanılır ve doğruluğu veya yanlışlığı belirlenebilir.
Önermeler, bir özneyi ve bir yargıyı ifade eden ifadelerdir. Özne, önermenin konusunu ifade ederken, yargı ise öznenin niteliğini belirtir. Örneğin, “Köpekler havlar” bir önermedir. Burada “köpekler” özne ve “havlar” yargıdır.
Önermeler, iki türe ayrılır: doğru veya yanlış. Bir önermenin doğruluğu, gerçekliğiyle ilgilidir. Örneğin, “Ay dünya çevresinde döner” önermesi doğrudur, çünkü gerçektir. Yanlış önermeler ise gerçeklikle çelişen ifadelerdir. Örneğin, “Güneş, dünyanın çevresinde döner” önermesi yanlıştır, çünkü gerçek değildir.
Önermeler ayrıca öncül ve sonuçlar için kullanılabilir. Öncüller, bir akıl yürütmenin temelini oluştururken, sonuçlar öncüllerden türetilen sonuçlardır. Örneğin, “Bütün insanlar ölümlüdür” bir öncüldür ve “Sokrates bir insan olduğuna göre, o da ölümlüdür” bir sonuçtur.
Mantıkta önerme, bir düşüncenin veya fikrin doğru veya yanlış olduğunu belirten bir ifadedir ve akıl yürütme işleminde kullanılır.