🎓 Bir önermenin karşıt tersi nedir Test 2 - Ders Notu
Bu ders notu, "Bir önermenin karşıt tersi nedir Test 2" testinde karşılaşacağınız mantık konularını, özellikle önermeler, koşullu önermeler ve bunların karşıtı, tersi ve karşıt tersi kavramlarını basitleştirerek açıklamaktadır.
📌 Önerme Nedir?
Mantıkta "önerme", doğru ya da yanlış kesin bir hüküm bildiren cümlelere verilen isimdir. Her önermenin bir doğruluk değeri vardır; ya doğrudur (D ya da 1) ya da yanlıştır (Y ya da 0).
- 📝 **Tanım:** Doğru ya da yanlış olduğu kesin olarak bilinen, hüküm bildiren ifadelerdir.
- 💡 **Örnek:** "Ankara, Türkiye'nin başkentidir." (Doğru bir önerme)
- 💡 **Örnek:** "2 + 2 = 5." (Yanlış bir önerme)
- ⚠️ **Dikkat:** Soru, emir, ünlem cümleleri veya kişisel görüşler önerme değildir (Örn: "Hava güzel mi?", "Kapıyı kapat!").
📌 Önermenin Değili (Olumsuzu)
Bir önermenin değili (olumsuzu), o önermenin tam tersi anlama gelen ve doğruluk değerini değiştiren ifadedir. $p$ önermesinin değili $p'$ veya $\sim p$ ile gösterilir.
- 📝 **Kural:** Bir önermenin değili, genellikle "değildir", "yoktur", "olmaz" gibi ifadelerle oluşturulur.
- 💡 **Örnek:** $p$: "Bugün hava güneşlidir."
- 💡 **Örnek:** $p'$: "Bugün hava güneşli değildir."
- 💡 **Doğruluk Değeri:** Eğer $p$ doğru ise $p'$ yanlıştır; eğer $p$ yanlış ise $p'$ doğrudur.
📌 Koşullu Önerme (İse Bağlacı)
İki önermeyi "ise" bağlacı ile birbirine bağlayarak oluşturulan önermelere koşullu önerme denir. $p$ ve $q$ iki önerme olmak üzere, "$p$ ise $q$" ifadesi $p \implies q$ şeklinde gösterilir.
- 📝 **Tanım:** Bir olayın gerçekleşmesinin başka bir olayın gerçekleşmesine bağlı olduğunu ifade eder.
- 💡 **Okunuşu:** "$p$ ise $q$" veya "Eğer $p$ ise $q$".
- ⚠️ **Doğruluk Değeri:** $p \implies q$ önermesi sadece ve sadece $p$ doğru iken $q$ yanlış olduğunda yanlış olur (yani $1 \implies 0$ durumu yanlıştır). Diğer tüm durumlarda doğrudur. Bu kurala "100 kuralı" da denir.
- 💡 **Örnek:** "Yağmur yağarsa (p) yerler ıslanır (q)." ($p \implies q$)
📌 Koşullu Önermenin Karşıtı, Tersi ve Karşıt Tersi
Bir koşullu önerme olan $p \implies q$ ifadesinden türetilen üç farklı önerme vardır. Bunlar, orijinal önermenin yapısını değiştirerek elde edilir.
- 📝 **Asıl Koşullu Önerme:** $p \implies q$
- 📝 **Karşıtı:** Önermelerin yerleri değiştirilir. Yani $q \implies p$.
- 📝 **Tersi:** Önermelerin değilini alırız. Yani $p' \implies q'$.
- 📝 **Karşıt Tersi:** Hem yerleri değiştirilir hem de değilini alırız. Yani $q' \implies p'$.
💡 **İpucu:** Bu üç türevi karıştırmamak için adımlarını aklınızda tutun: Karşıtı (yer değiştir), Tersi (değilini al), Karşıt Tersi (hem yer değiştir hem değilini al).
📌 Karşıt Tersi ve Denklik İlişkisi
Mantıkta en önemli denkliklerden biri, bir koşullu önermenin kendi karşıt tersine denk olmasıdır. Bu, testlerde sıkça karşınıza çıkacak temel bir bilgidir.
- 📝 **Kural:** Bir koşullu önerme, karşıt tersine denktir. Sembolik olarak $p \implies q \equiv q' \implies p'$ şeklinde ifade edilir.
- 💡 **Anlamı:** Bu denklik, orijinal önerme ile karşıt tersinin her zaman aynı doğruluk değerine sahip olduğu anlamına gelir. Eğer biri doğruysa diğeri de doğrudur; biri yanlışsa diğeri de yanlıştır.
- 💡 **Günlük Hayattan Örnek:**
- Asıl Önerme ($p \implies q$): "Eğer bir hayvan kuğu ise, o hayvan beyazdır."
- Karşıt Tersi ($q' \implies p'$): "Eğer bir hayvan beyaz değilse, o hayvan kuğu değildir."
Bu iki ifade, mantıksal olarak aynı şeyi söyler ve aynı doğruluk değerine sahiptir.
- ⚠️ **Dikkat:** Testlerde genellikle bir önermenin karşıt tersini bulmanız veya bu denklik bilgisini kullanarak bir çıkarım yapmanız istenir. Bu denklik, özellikle ispat yöntemlerinde (dolaylı ispat) sıklıkla kullanılır.
