Mantıkta Önermeler

Mantıkta önermeler, belirli bir durumu veya ifadeyi ifade eden temel cümlelerdir. Bu cümleler doğru veya yanlış olabilen ifadeler içerir.

Önerme Nedir?

Önerme, kesin bir anlamı olan ve ya doğru ya da yanlış olabilen bir ifadedir. Örneğin:

• “Bugün yağmur yağıyor.”
• “2 + 2 = 4.”
• “İstanbul Türkiye'nin başkentidir.”

Yukarıdaki örnekler, doğru veya yanlış olarak değerlendirilebilir.

Önerme Türleri

Önerme türleri şunlardır:

• Basit Önerme: Tek bir ifade içerir. Örneğin, “Kedi mısır yer.”
• Bileşik Önerme: İki veya daha fazla basit önermenin birleştirilmesiyle oluşur. Örneğin, “Hava güneşli mi yoksa yağmurlu mu?”

Önerme Mantığı

Önerme mantığı, önermeler arasındaki ilişkileri inceleyen bir mantık dalıdır. Temel işlemler şunlardır:

• VE (∧): Her iki önermenin de doğru olması durumunda doğrudur.
• VEYA (∨): En az bir önermenin doğru olması durumunda doğrudur.
• DEĞİL (¬): Bir önermenin doğru olduğunu ifade ederken, onun tersini ifade eder.

Önerme mantığı, mantıksal çıkarımların ve argümanların oluşturulmasında önemli bir rol oynar.