Önerme Nedir? Doğruluk Değeri Ne Demektir? Test 1

🎓 Önerme Nedir? Doğruluk Değeri Ne Demektir? Test 1 - Ders Notu

Bu ders notu, önermelerin temel özelliklerini, neyin önerme olup olmadığını ve bir önermenin doğruluk değerini nasıl belirleyeceğinizi anlamanıza yardımcı olacaktır. Bu bilgiler, mantık konularının temelini oluşturur.

📌 Önerme Nedir?

Mantıkta "önerme", doğru ya da yanlış kesin bir hüküm bildiren cümlelere denir. Yani, bir cümlenin önerme olabilmesi için herkes tarafından aynı şekilde doğru veya yanlış olduğu söylenebilmelidir.

• ✅ Bir yargı bildirmelidir.
• ✅ Doğru ya da yanlış kesin bir değere sahip olmalıdır.
• ✅ Kişiden kişiye değişen bir ifade olmamalıdır.
• 📝 Örnek: "Türkiye'nin başkenti Ankara'dır." (Doğru bir önerme)
• 📝 Örnek: "2 + 3 = 7." (Yanlış bir önerme)

💡 İpucu: Bir cümlenin önerme olup olmadığını anlamak için "Bu cümle kesinlikle doğru mu, yoksa kesinlikle yanlış mı?" diye sorun. Cevabınız evet ise, o bir önermedir.

📌 Önerme Olmayan İfadeler

Her cümle bir önerme değildir. Aşağıdaki türdeki cümleler genellikle önerme sayılmazlar çünkü kesin bir doğru veya yanlış değeri taşımazlar:

• ❌ Soru Cümleleri: "Bugün hava nasıl?"
• ❌ Emir Cümleleri: "Hemen buraya gel!"
• ❌ İstek/Dilek Cümleleri: "Keşke sınavdan yüksek alsam."
• ❌ Ünlem Cümleleri: "Yaşasın!"
• ❌ Göreceli (Subjektif) İfadeler: "Bu yemek çok lezzetli." (Lezzet kişiden kişiye değişir.)
• ❌ Tanımlar: "Üçgen, üç kenarı olan bir geometrik şekildir." (Bu bir tanım cümlesidir, bir hüküm bildirmez.)

⚠️ Dikkat: "Bu yemek çok lezzetlidir." cümlesi bir önerme değildir çünkü lezzet kişisel bir tercihtir. Ama "Bu yemekte tuz vardır." cümlesi bir önerme olabilir, çünkü bu, nesnel olarak doğru veya yanlış olduğu test edilebilecek bir durumdur.

📌 Doğruluk Değeri Nedir?

Bir önermenin doğru ya da yanlış olma durumuna "doğruluk değeri" denir. Her önermenin sadece bir doğruluk değeri vardır; ya doğrudur ya da yanlıştır, ikisi birden olamaz.

• ✅ Doğru önermeler için 'D' veya '1' sembolü kullanılır.
• ✅ Yanlış önermeler için 'Y' veya '0' sembolü kullanılır.
• 📝 Örnek: $p$: "Güneş doğudan doğar." Bu önermenin doğruluk değeri 'D' veya '1'dir. ($p \equiv 1$)
• 📝 Örnek: $q$: "Tüm kuşlar uçar." Bu önermenin doğruluk değeri 'Y' veya '0'dır. ($q \equiv 0$) (Çünkü penguen gibi uçamayan kuşlar da vardır.)

💡 İpucu: Matematik ve mantıkta genellikle '1' doğruyu, '0' yanlışı temsil eder. Bu ikili sistem, bilgisayar bilimlerinde de temeldir.

📌 Bir Önermenin Değillemesi (Olumsuzu)

Bir önermenin değillemesi (olumsuzu), o önermenin tam tersi anlamını ifade eden yeni bir önermedir. Bir önerme $p$ ile gösteriliyorsa, değillemesi $p'$ veya $\sim p$ şeklinde gösterilir.

• ✅ Bir önerme doğruysa, değillemesi yanlıştır.
• ✅ Bir önerme yanlışsa, değillemesi doğrudur.
• 📝 Örnek: $p$: "Bugün hava güneşlidir." ($p \equiv 1$)
• 📝 Örnek: $p'$: "Bugün hava güneşli değildir." ($p' \equiv 0$)
• 📝 Örnek: $q$: "2 + 2 = 5." ($q \equiv 0$)
• 📝 Örnek: $q'$: "2 + 2 $\neq$ 5." ($q' \equiv 1$)

⚠️ Dikkat: Değilleme yaparken sadece "değil" kelimesini eklemek yeterli olmayabilir. Cümlenin anlamını tam tersine çevirecek şekilde yeniden ifade etmek önemlidir. Örneğin, "Bazı öğrenciler çalışkandır." önermesinin değillemesi "Tüm öğrenciler çalışkan değildir." veya "Hiçbir öğrenci çalışkan değildir." değil, "Hiçbir öğrenci çalışkan değildir." veya "Her öğrenci çalışkan değildir." de değil, "Tüm öğrenciler çalışkan değildir." değil, "Bazı öğrenciler çalışkan değildir." değil, "Tüm öğrenciler çalışkan değildir." olabilir. Hayır, doğru değilleme "Hiçbir öğrenci çalışkan değildir." veya "Tüm öğrenciler çalışkan değildir." değil, "Bazı öğrenciler çalışkan değildir." veya "En az bir öğrenci çalışkan değildir." şeklindedir.

⚠️ Dikkat (Düzeltme): "Bazı öğrenciler çalışkandır." önermesinin değillemesi "Tüm öğrenciler çalışkan değildir." veya "Hiçbir öğrenci çalışkan değildir." değildir. Doğru değilleme "Hiçbir öğrenci çalışkan değildir." veya daha doğru bir ifadeyle "Tüm öğrenciler çalışkan değildir." şeklinde olmalıdır. Bu daha ileri bir konuya girer. Temel düzeyde, "Bugün hava güneşlidir." ($p$) önermesinin değillemesi "Bugün hava güneşli değildir." ($p'$) şeklindedir.