Önerme

[bullvar_katip]

Mantıkta, doğrulanabilir ya da yanlışlanabilir olmak zorunda olan ifadelere önerme denir. Kesin olan cümleler yanlış veya doğru da olsa önermedir; yani cümlenin yanlış veya doğru olduğunun bilinmesi gerekmez, doğrulanabilir olduğunun bilinmesi yeterlidir. Soru tümceleri önerme olamaz çünkü bir soru doğruluk ifade etmez. Mantığın önermelerle ilgilenen dalı önermeler mantığıdır ve matematiğin konusudur. Ö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. Tartışmalı noktalar 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 de bu cümle de önermedir. 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", Ö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. Ayrıca bakınız Açık önerme Totoloji Çelişki Kaynakça Kategori:Mantık