Önerme

Mantıkta, öne sürülen bir ifadenin, değeri ya doğru ya da yanlış olmak zorunda olan içeriğine önerme denir. Kesin olan cümleler yanlış veya doğru da olsa önermedir. Ayrıca cümlenin yanlış veya doğru olduğunun bilinmesi gerekmez. Önerme arasına bir cümlede kesinlikle soru ekleri (mi?, mı?) olmaz.

Örnekler:

• 2 < 3 (Doğru bir önerme).
• Türkiye'nin başkenti Ankara'dır. (Doğru bir önerme)
• 7 = 8 (Yanlış bir önerme).
• İstanbul Amerika'nın başkenti midir?(önerme değildir)
• 78=79 (bu önerme yanlış bir önermedir)
• 3<5 (bu önerme doğru bir önermedir)
• Saat kaç? (Önerme değildir)
• x + 3 = 7 (Önermedir)

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 doğrudur).

• İki kere iki dört eder.
• 2x2=4
• 2'yi 2 ile çarpınca sonuç 4 çıkar.

Totoloji ve çelişki olmak üzere ikiye ayrılırlar.

• Açık önerme

Tartışmalı Noktalar-Spekülasyonlar:

1. Doğruluk değeri bilinmese de kesin hüküm bildirip, doğru veya yanlış olan cümleler önermedir. Örnek 1: "her çift sayı iki asal sayının toplamıdır" cümlesi Goldbach Sanısı adıyla bilinen, doğruluğu ya da yanlışlığı ispatlanamamış bir önermedir. Örnek 2: "Uganda'nın başkenti Wagadugu'dur" cümlesi, okuyan kişi doğruluğunu ya da yanlışlığını bilmese de önermedir. Örnek 3: "Ahmet okula gitti" cümlesindeki Ahmet kimdir, okul nerededir, gitti mi gitmedi mi bilinmese bu cümle de önermedir.
2. Cümle göreceli olsa da olmasa da, kesin hüküm bildirip, doğru veya yanlışsa önermedir. Zaten göreceli konusu içinden çıkılması zor bir konudur. Eğer göreceli cümleler önerme olarak kabul edilmezse, literatürdeki pek çok kabul görmüş önerme bile önerme olma özelliğini kaybedecektir. Örnek 1: "Güneş sıcaktır", "kar beyazdır", yağmur yağıyor" gibi çoğu kaynakta önerme olarak gösterilen cümleler aslında açıkça görecelidir. Örnek 2: "KKTC'nin başkenti Lefkoşa'dır" cümlesi de görecelidir. Çünkü KKTC çoğu ülke tarafından tanınmaz ve çoğu ülke vatandaşına göre başkenti de yoktur. Yani bu cümle Türkiye dışındaki dünyada genel olarak yanlış kabul edilirken, Türkiye'de doğru kabul edilir. Ama bu durum bu cümlenin önerme olmasını değiştirmez. Kaldı ki eğer bu cümle önerme olarak kabul edilmezse, çoğu kaynakta yer alan "Ankara Türkiye'nin başkentidir" cümlesi de önerme olarak kabul edilmemelidir. Çünkü benzer nedenlerle bu cümle de görecelidir.