🎓 Hipotez ve hüküm nedir Test 1 - Ders Notu
Bu ders notu, "Hipotez ve hüküm nedir Test 1" sınavında karşılaşacağın temel mantık konularını, önermeleri, koşullu önermeleri ve bunların hipotez ile hüküm kısımlarını anlamana yardımcı olmak için hazırlandı.
📌 Önerme Nedir?
📝 Mantıkta "önerme", doğru ya da yanlış kesin bir yargı bildiren cümlelere denir. Bir cümle aynı anda hem doğru hem de yanlış olamaz.
- Önermeler genellikle küçük harflerle ($p, q, r, ...$) gösterilir.
- Örnek: "Ankara, Türkiye'nin başkentidir." (Doğru bir önerme)
- Örnek: "2 + 2 = 5." (Yanlış bir önerme)
- Soru cümleleri ("Nasılsın?"), emir cümleleri ("Kapıyı kapat!") veya dilek cümleleri ("Keşke gelseydi!") önerme değildir, çünkü doğru veya yanlış oldukları söylenemez.
📌 Doğruluk Değeri Ne Demek?
💡 Bir önermenin doğru ya da yanlış olma durumuna "doğruluk değeri" denir.
- Doğru önermelerin doğruluk değeri 'D' (Doğru) veya '1' ile gösterilir.
- Yanlış önermelerin doğruluk değeri 'Y' (Yanlış) veya '0' ile gösterilir.
- Bir önermenin iki farklı doğruluk değeri olabilir: doğru ya da yanlış.
📌 Koşullu Önerme (İse Bağlacı - $\implies$)
📌 İki önermenin "ise" bağlacı ile bağlanmasıyla oluşan yeni önermeye "koşullu önerme" denir. Genellikle "$p \implies q$" şeklinde gösterilir ve "Eğer $p$ ise $q$" diye okunur.
- Burada $p$ önermesine "hipotez" (varsayım), $q$ önermesine ise "hüküm" (sonuç) denir.
- Koşullu önermenin doğruluk değeri için tek bir özel durum vardır: Hipotez doğru iken hüküm yanlış ise, koşullu önerme yanlıştır. Diğer tüm durumlarda koşullu önerme doğrudur.
- Örnek: "Eğer hava güneşliyse, pikniğe gideriz."
- $p$: Hava güneşli (Hipotez)
- $q$: Pikniğe gideriz (Hüküm)
⚠️ Dikkat: $p \implies q$ önermesi sadece $p$ doğru ve $q$ yanlış olduğunda yanlıştır. Diğer tüm durumlar (Doğru $\implies$ Doğru, Yanlış $\implies$ Doğru, Yanlış $\implies$ Yanlış) koşullu önermeyi doğru yapar.
📌 Hipotez ve Hüküm Nedir?
📝 Koşullu önermelerde, bir durumun gerçekleştiğini varsaydığımız kısma "hipotez", bu varsayımın sonucunda ortaya çıkan duruma ise "hüküm" denir.
- Hipotez ($p$): Koşullu önermenin "eğer" kısmında yer alan, doğru olduğu varsayılan önermedir. Bir olayın veya durumun şartını belirtir.
- Örnek: "Eğer bir sayı çift ise..." ($p$: Bir sayı çifttir.)
- Hüküm ($q$): Koşullu önermenin "ise" kısmından sonra gelen, hipotez doğru olduğunda gerçekleşmesi beklenen sonuç önermesidir.
- Örnek: "...o sayı 2'ye tam bölünür." ($q$: O sayı 2'ye tam bölünür.)
💡 İpucu: Günlük hayatta sıkça kullandığımız "Eğer yağmur yağarsa, şemsiye alırız" cümlesinde, "Yağmur yağar" hipotez, "Şemsiye alırız" ise hükümdür.
📌 Koşullu Önermenin Çeşitleri: Karşıtı, Tersi ve Karşıt Tersi
📝 Bir koşullu önerme ($p \implies q$) verildiğinde, bu önermeden türetilen bazı özel koşullu önermeler vardır:
- Karşıtı ($q \implies p$): Hipotez ve hükmün yer değiştirmesiyle oluşan önermedir.
- Orijinal: "Eğer sayı 4'e bölünüyorsa, çifttir." ($p \implies q$)
- Karşıtı: "Eğer sayı çift ise, 4'e bölünür." ($q \implies p$)
- Tersi ($\neg p \implies \neg q$): Hem hipotezin hem de hükmün değilinin (olumsuzunun) alınmasıyla oluşan önermedir. ($\neg p$: $p$'nin değili/olumsuzu)
- Orijinal: "Eğer sayı 4'e bölünüyorsa, çifttir." ($p \implies q$)
- Tersi: "Eğer sayı 4'e bölünmüyorsa, çift değildir." ($\neg p \implies \neg q$)
- Karşıt Tersi ($\neg q \implies \neg p$): Hem hipotez ve hükmün yer değiştirip, hem de değillerinin alınmasıyla oluşan önermedir.
- Orijinal: "Eğer sayı 4'e bölünüyorsa, çifttir." ($p \implies q$)
- Karşıt Tersi: "Eğer sayı çift değilse, 4'e bölünmez." ($\neg q \implies \neg p$)
⚠️ Dikkat: Bir koşullu önermenin kendisi ile "karşıt tersi" her zaman aynı doğruluk değerine sahiptir. Yani $p \implies q$ ile $\neg q \implies \neg p$ mantıksal olarak denktir.
