📝 9. Sınıf Matematik: Önerme Ders Notu
📌 Matematiksel Mantık: Önerme Kavramı
Matematiksel mantığın temel yapı taşı olan önerme, doğru ya da yanlış kesin bir hüküm bildiren ifadelere denir. Bir ifadenin önerme olabilmesi için herkes tarafından kabul edilen net bir yargı içermesi gerekir. Soru cümleleri, emir kipleri, ünlemler veya öznel yargılar (kişiden kişiye değişen ifadeler) önerme belirtmez.
✅ Önerme Örnekleri
- "Türkiye'nin başkenti Ankara'dır." (Doğru bir önermedir.)
- "En küçük asal sayı 1'dir." (Yanlış bir önermedir.)
- " \( 2 + 3 = 5 \) " (Doğru bir önermedir.)
- " \( x + 5 = 10 \) " (Bu ifade bir açık önermedir, x değerine göre doğruluk değeri değişir.)
Önemli Not: Bir önerme doğru ise "D" veya "1" ile, yanlış ise "Y" veya "0" ile gösterilir. Bir önermenin doğru ya da yanlış olmasına o önermenin doğruluk değeri denir.
🔍 Önermelerin Doğruluk Değerleri
Bir önermenin doğruluk değeri için \( 2^n \) formülü kullanılır. Burada n, birbirinden farklı önerme sayısını temsil eder. Örneğin, 3 farklı önermenin doğruluk durumu için \( 2^3 = 8 \) farklı durum oluşur.
| Önerme Sayısı (n) | Doğruluk Durumu ( \( 2^n \) ) |
|---|---|
| 1 | 2 |
| 2 | 4 |
| 3 | 8 |
💡 Çözümlü Örnekler
Örnek 1: Aşağıdaki ifadelerden hangilerinin önerme olduğunu belirleyiniz.
- "Bugün hava çok güzel." (Öznel bir yargı olduğu için önerme değildir.)
- "Haftanın kaç günü var?" (Soru cümlesi olduğu için önerme değildir.)
- " \( 5 \times 4 = 20 \) " (Kesin bir yargı bildirdiği için önermedir.)
- "Çalışkan bir öğrenci olmalısın." (Emir/tavsiye cümlesi olduğu için önerme değildir.)
Örnek 2: Birbirinden farklı 4 önermenin doğruluk tablosunda kaç farklı durum oluşur?
Çözüm: Önerme sayısı \( n = 4 \) olarak verilmiştir. Formüle göre \( 2^4 = 2 \times 2 \times 2 \times 2 = 16 \) farklı durum oluşur.
⚖️ Denk Önermeler
Doğruluk değerleri aynı olan önermelere denk önermeler denir. Eğer p ve q önermeleri denk ise bu durum \( p \equiv q \) şeklinde gösterilir. Örneğin, \( p: "3 + 2 = 5" \) ve \( q: "En küçük pozitif tam sayı 1'dir" \) önermeleri her ikisi de doğru (1) olduğu için birbirine denktir.
Bir önermenin değilinin değili kendisidir. p önermesinin değili \( p' \) (p üssü) ile gösterilir. Bir önerme doğru ise değili yanlış, yanlış ise değili doğrudur. \( (p')' \equiv p \) kuralı her zaman geçerlidir.