Önerme

Vikipedi, özgür ansiklopedi
Atla: kullan, ara

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. Ö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)

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.