Loading AI tools
Mantıkta, doğrulanabilir ya da yanlışlanabilir olmak zorunda olan ifadelere önerme denir.[1][2] 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.[2]
 | Bu madde veya bölüm Kaziye adlı maddeye çok benzemektedir ve bu iki maddenin tek başlık altında birleştirilmesi önerilmektedir. Birleştirme işlemi yapıldıktan sonra sayfaya {{Geçmiş birleştir}} şablonunu ekleyiniz. |
Mantığın önermelerle ilgilenen dalı önermeler mantığıdır ve matematiğin konusudur.[2]
- 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.
- 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.
Wikiwand in your browser!
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.
