# Önerme Nedir?
**Önerme**, doğru ya da yanlış olarak değerlendirilebilen, yargı bildiren ifadelere denir. Bir önerme, bir durumun veya olayın varlığını, niteliğini ya da ilişkisini ifade eder. Önermeler, mantık ve matematikte temel bir kavramdır ve akıl yürütme süreçlerinin yapı taşını oluşturur.
**Önermelerin Özellikleri:**
* **Doğruluk Değeri:** Her önerme ya doğrudur ya da yanlıştır. Bir önerme aynı anda hem doğru hem de yanlış olamaz. Bu ilkeye [çelişmezlik ilkesi](https://www.nedemek.page/kavramlar/çelişmezlik%20ilkesi) denir.
* **İfade Edilebilirlik:** Önermeler, dil aracılığıyla ifade edilebilir. Bu ifadeler, cümleler, semboller veya formüller olabilir.
* **Yargı Bildirme:** Önermeler, bir yargıda bulunurlar. Soru, emir veya dilek cümleleri önerme olarak kabul edilmez.
**Önerme Çeşitleri:**
* **Basit Önerme:** Tek bir yargı bildiren önermelerdir. Örneğin: "Güneş sıcaktır."
* **Bileşik Önerme:** Birden fazla basit önermenin mantıksal bağlaçlarla birleştirilmesiyle oluşan önermelerdir. Örneğin: "Güneş sıcaktır ve hava açıktır."
**Mantıksal Bağlaçlar:**
Bileşik önermeler oluşturulurken kullanılan temel mantıksal bağlaçlar şunlardır:
* **"ve" (∧)**: Her iki önerme de doğru ise bileşik önerme doğrudur.
* **"veya" (∨)**: Önermelerden en az biri doğru ise bileşik önerme doğrudur.
* **"değil" (¬)**: Önermenin doğruluk değerini tersine çevirir.
* **"ise" (→)**: İlk önerme doğru ve ikinci önerme yanlış ise bileşik önerme yanlıştır; diğer durumlarda doğrudur.
* **"ancak ve ancak" (↔)**: Her iki önermenin doğruluk değeri aynı ise bileşik önerme doğrudur; farklı ise yanlıştır.
**Önermeler ve Mantıksal Çıkarım:**
Önermeler, [mantıksal çıkarım](https://www.nedemek.page/kavramlar/mantıksal%20çıkarım) süreçlerinde kullanılır. Belirli önermelerden (öncüller) yola çıkarak yeni önermeler (sonuç) elde edilir. Bu süreçte [çıkarım kuralları](https://www.nedemek.page/kavramlar/çıkarım%20kuralları) kullanılır.
**Önerme Örnekleri:**
* "İstanbul Türkiye'nin başkentidir." (Yanlış bir önerme)
* "2 + 2 = 4" (Doğru bir önerme)
* "Bütün insanlar ölümlüdür." (Doğru bir önerme)
**Not:** Bu bilgiler genel bir bakış sunmaktadır. Konunun derinlemesine anlaşılması için mantık ve matematik kaynaklarına başvurulması önerilir.
Ne Demek sitesindeki bilgiler kullanıcılar vasıtasıyla veya otomatik oluşturulmuştur. Buradaki bilgilerin doğru olduğu garanti edilmez. Düzeltilmesi gereken bilgi olduğunu düşünüyorsanız bizimle iletişime geçiniz. Her türlü görüş, destek ve önerileriniz için iletisim@nedemek.page