Bir önermenin karşıt tersi nedir Test 1

🎓 Bir önermenin karşıt tersi nedir Test 1 - Ders Notu

Bu ders notu, "Bir önermenin karşıt tersi nedir Test 1" testinde karşılaşabileceğin mantık konularını, yani önermeler, değilleme, koşullu önermeler ve bunların karşıtı, tersi ve karşıt tersi gibi temel kavramları sade bir dille açıklamaktadır.

📌 Önerme (Proposition)

Bir önerme, doğru ya da yanlış kesin bir hüküm bildiren ifadedir. Bir ifade aynı anda hem doğru hem de yanlış olamaz. Soru cümleleri, emirler veya belirsiz ifadeler önerme değildir.

• Önermeler genellikle $p, q, r, ...$ gibi küçük harflerle gösterilir.
• Bir önermenin doğru olması durumuna "doğruluk değeri 1 (D)", yanlış olması durumuna ise "doğruluk değeri 0 (Y)" denir.
• Örnek: "Türkiye'nin başkenti Ankara'dır." (Doğru önerme)
• Örnek: "2 + 2 = 5'tir." (Yanlış önerme)

💡 İpucu: Bir ifadenin önerme olup olmadığını anlamak için, o ifadenin kesinlikle doğru mu yoksa kesinlikle yanlış mı olduğuna karar verebiliyor muyuz diye düşünmelisin.

📌 Önermenin Değili (Negation of a Proposition)

Bir önermenin değili (olumsuzu), o önermenin tam tersi doğruluk değerine sahip olan yeni bir önermedir. Bir $p$ önermesinin değili $\neg p$ (p'nin değili) şeklinde gösterilir.

• Eğer $p$ önermesi doğruysa, $\neg p$ önermesi yanlıştır. ($p \equiv 1 \implies \neg p \equiv 0$)
• Eğer $p$ önermesi yanlışsa, $\neg p$ önermesi doğrudur. ($p \equiv 0 \implies \neg p \equiv 1$)
• Değilleme genellikle "değildir", "yoktur", "olmaz" gibi ifadelerle yapılır.
• Örnek: $p$: "Bugün hava güneşlidir." $\neg p$: "Bugün hava güneşli değildir."
• Örnek: $q$: "$3 < 5$" $\neg q$: "$3 \ge 5$"

⚠️ Dikkat: Bir önermenin değilinin değili, önermenin kendisine eşittir. Yani $\neg (\neg p) \equiv p$.

📌 Koşullu Önerme (Conditional Proposition)

İki önermeyi "eğer ... ise ..." kalıbıyla birleştiren önermelere koşullu önerme denir. $p$ ve $q$ iki önerme olmak üzere, "$p$ ise $q$" şeklindeki koşullu önerme $p \implies q$ ile gösterilir.

• Burada $p$ önermesine "hipotez" (sebep), $q$ önermesine ise "hüküm" (sonuç) denir.
• Koşullu önerme, sadece hipotez doğru ve hüküm yanlış olduğunda yanlıştır. Diğer tüm durumlarda doğrudur.
• Örnek: $p$: "Yağmur yağar." $q$: "Yer ıslanır." $p \implies q$: "Eğer yağmur yağarsa, yer ıslanır."
• Günlük Hayat Örneği: "Eğer çok çalışırsan, sınavı geçersin." Bu önerme, çok çalışıp da sınavı geçemediğin tek durumda yanlış olur.

📌 Koşullu Önermenin Karşıtı (Converse of a Conditional Proposition)

Bir $p \implies q$ koşullu önermesinin karşıtı, hipotez ile hükmün yer değiştirmesiyle elde edilen $q \implies p$ önermesidir.

• Örnek: Orijinal önerme: "Eğer bir hayvan kuştur ise, kanatları vardır." ($p \implies q$)
• Karşıtı: "Eğer bir hayvanın kanatları varsa, o bir kuştur." ($q \implies p$)

⚠️ Dikkat: Bir koşullu önerme ile karşıtı her zaman birbirine denk (aynı doğruluk değerine sahip) değildir. Yukarıdaki örnekte, orijinal önerme doğruyken, karşıtı (yarasa gibi kanatlı olup kuş olmayan hayvanlar olduğu için) yanlıştır.

📌 Koşullu Önermenin Tersi (Inverse of a Conditional Proposition)

Bir $p \implies q$ koşullu önermesinin tersi, hipotez ve hükmün değillerinin alınmasıyla elde edilen $\neg p \implies \neg q$ önermesidir.

• Örnek: Orijinal önerme: "Eğer bir hayvan kuştur ise, kanatları vardır." ($p \implies q$)
• Tersi: "Eğer bir hayvan kuş değil ise, kanatları yoktur." ($\neg p \implies \neg q$)

⚠️ Dikkat: Bir koşullu önerme ile tersi de her zaman birbirine denk değildir. Yukarıdaki örnekte, orijinal önerme doğruyken, tersi (balık gibi kuş olmayan ve kanatları olmayan hayvanlar olduğu için) yanlıştır.

📌 Koşullu Önermenin Karşıt Tersi (Contrapositive of a Conditional Proposition)

Bir $p \implies q$ koşullu önermesinin karşıt tersi, hükmün değilinin hipotez, hipotezin değilinin ise hüküm yapılmasıyla elde edilen $\neg q \implies \neg p$ önermesidir. Yani hem yer değiştirirler hem de değilleri alınır.

• Örnek: Orijinal önerme: "Eğer bir sayı çift ise, 2'ye tam bölünür." ($p \implies q$)
• Karşıt Tersi: "Eğer bir sayı 2'ye tam bölünmüyorsa, o sayı çift değildir." ($\neg q \implies \neg p$)

💡 İpucu: İşte burası çok önemli! Bir koşullu önerme ile onun karşıt tersi her zaman birbirine denktir. Yani $p \implies q \equiv \neg q \implies \neg p$. Bu, mantıkta çok sık kullanılan ve ispatlarda işleri kolaylaştıran temel bir özelliktir.

Günlük Hayat Örneği:

• Orijinal önerme: "Eğer yağmur yağarsa, yerler ıslanır." ($p \implies q$)
• Karşıt Tersi: "Eğer yerler ıslak değilse, yağmur yağmamıştır." ($\neg q \implies \neg p$)

Gördüğün gibi, bu iki ifade aynı şeyi anlatır ve aynı doğruluk değerine sahiptirler.