🎓 Bir önermenin karşıtı nedir Test 1 - Ders Notu
Merhaba sevgili öğrenciler! Bu ders notu, "Bir önermenin karşıtı nedir Test 1" adlı testin temel konularını anlamanıza yardımcı olmak için hazırlandı. Test, mantık konusundaki önermeler, önermelerin değili ve koşullu önermelerin karşıtı, tersi ve karşıt tersi gibi kavramları ölçmektedir.
📌 Önerme Nedir?
Mantıkta bir önerme, doğru ya da yanlış kesin bir hüküm bildiren ifadelere denir. Bir cümlenin önerme olabilmesi için kişiden kişiye değişmeyen, net bir yargı belirtmesi gerekir. Emir, soru, dilek veya ünlem cümleleri önerme değildir.
- Tanım: Doğruluk değeri (doğru veya yanlış) kesin olarak belirlenebilen anlamlı cümlelerdir.
- Doğruluk Değeri: Bir önerme doğru ise "D" veya "1", yanlış ise "Y" veya "0" ile gösterilir.
- Örnek: "Türkiye'nin başkenti Ankara'dır." (Doğru bir önerme)
- Örnek: "2 + 3 = 7." (Yanlış bir önerme)
⚠️ Dikkat: "Hava güzel mi?" bir soru cümlesi olduğu için önerme değildir. "Keşke sınavdan yüksek alsam!" bir dilek cümlesi olduğu için önerme değildir.
📌 Önermenin Değili (Negasyonu) Nedir?
Bir önermenin değili (negasyonu), o önermenin tam tersi bir yargı bildiren ifadedir. Bir önerme doğruysa değili yanlış, yanlışsa değili doğrudur.
- Gösterim: Bir $p$ önermesinin değili $\neg p$ (p'nin değili) şeklinde gösterilir.
- Oluşturma: Genellikle önermenin sonuna "değildir", "olamaz", "yoktur" gibi ifadeler eklenerek veya "tüm", "bazı" gibi niceleyicilerin tersi kullanılarak oluşturulur.
- Örnek 1: $p$: "Bugün hava güneşlidir." $\implies$ $\neg p$: "Bugün hava güneşli değildir."
- Örnek 2: $q$: "Her kuş uçar." $\implies$ $\neg q$: "Bazı kuşlar uçmaz." (veya "Her kuş uçar değildir.")
- Örnek 3: $r$: "2 tek sayıdır." $\implies$ $\neg r$: "2 tek sayı değildir." (veya "2 çift sayıdır.")
💡 İpucu: Bir önermenin değilinin değili, önermenin kendisine eşittir. Yani $\neg(\neg p) \equiv p$ dir.
📌 Koşullu Önerme ("İse") Nedir?
İki önermeyi "ise" bağlacı ile birleştirdiğimizde koşullu önerme elde ederiz. Genellikle bir durumun başka bir durumu tetiklediğini ifade eder.
- Gösterim: $p \implies q$ şeklinde gösterilir ve "p ise q" diye okunur.
- Anlamı: $p$ doğru olduğunda $q$'nun da doğru olması gerektiğini ifade eder. Eğer $p$ doğruyken $q$ yanlış olursa, koşullu önerme yanlış olur. Diğer tüm durumlarda doğrudur.
- Örnek: $p$: "Yağmur yağarsa", $q$: "Yer ıslanır." $\implies p \implies q$: "Yağmur yağarsa yer ıslanır."
📌 Koşullu Önermenin Karşıtı, Tersi ve Karşıt Tersi
Bir $p \implies q$ koşullu önermesinin üç farklı dönüşümü vardır:
📝 Karşıtı (Converse)
Koşullu önermedeki önermelerin yer değiştirmesiyle oluşan ifadedir.
- Formül: $q \implies p$
- Örnek: Orijinal: "Yağmur yağarsa yer ıslanır." ($p \implies q$) $\implies$ Karşıtı: "Yer ıslanırsa yağmur yağmıştır." ($q \implies p$)
📝 Tersi (Inverse)
Koşullu önermedeki her iki önermenin de değilinin alınmasıyla oluşan ifadedir.
- Formül: $\neg p \implies \neg q$
- Örnek: Orijinal: "Yağmur yağarsa yer ıslanır." ($p \implies q$) $\implies$ Tersi: "Yağmur yağmazsa yer ıslanmaz." ($\neg p \implies \neg q$)
📝 Karşıt Tersi (Contrapositive)
Koşullu önermenin hem karşıtının hem de tersinin alınmasıyla oluşan ifadedir. Yani önermelerin yerleri değişir ve değilleri alınır.
- Formül: $\neg q \implies \neg p$
- Örnek: Orijinal: "Yağmur yağarsa yer ıslanır." ($p \implies q$) $\implies$ Karşıt Tersi: "Yer ıslanmazsa yağmur yağmamıştır." ($\neg q \implies \neg p$)
💡 İpucu: Bir koşullu önerme ile onun karşıt tersi her zaman birbirine denktir (aynı doğruluk değerine sahiptir). Yani $(p \implies q) \equiv (\neg q \implies \neg p)$ dir. Bu, mantıkta çok önemli bir kuraldır!
⚠️ Dikkat: Orijinal önerme ile karşıtı veya tersi her zaman denk değildir. Bu yüzden bu üç kavramı karıştırmamak çok önemlidir.
