Önermenin değili nedir Test 1

🎓 Önermenin değili nedir Test 1 - Ders Notu

Bu ders notu, "Önermenin değili nedir Test 1" testinde karşılaşacağın temel mantık konularını, özellikle önermeler ve onların değillerini anlamana yardımcı olmak için hazırlandı. Konuları basitçe anlatıp, örneklerle pekiştireceğiz.

📌 Önerme Nedir?

Mantıkta bir önerme, doğru ya da yanlış kesin bir yargı bildiren cümlelerdir. Bir cümlenin önerme olabilmesi için aynı anda hem doğru hem de yanlış olmaması gerekir.

• 📝 **Tanım:** Doğru ya da yanlış olabilen, ancak ikisi birden olamayan ifadelere "önerme" denir.
• 💡 **Örnekler:**
  • "Türkiye'nin başkenti Ankara'dır." (Doğru bir önerme)
  • "$2+3=5$" (Doğru bir önerme)
  • "Kedi bir kuştur." (Yanlış bir önerme)
  • "Güneş batıdan doğar." (Yanlış bir önerme)
• ⚠️ **Dikkat:** Soru cümleleri ("Nasılsın?"), emir cümleleri ("Kapıyı kapat!"), istek cümleleri ("Keşke gelse!") veya ünlem cümleleri ("Yaşasın!") birer önerme değildir, çünkü doğru veya yanlış olamazlar.
• 🔢 **Doğruluk Değeri:** Bir önerme doğruysa doğruluk değeri $1$ (veya D), yanlışsa $0$ (veya Y) ile gösterilir.

📌 Önermenin Değili (Olumsuzu) Nedir?

Bir önermenin değili, o önermenin tam tersi doğruluk değerine sahip olan yeni bir önermedir. Yani, orijinal önerme doğruysa değili yanlış, orijinal önerme yanlışsa değili doğru olur.

• 📝 **Tanım:** Bir $p$ önermesinin doğruluk değerini değiştiren yeni önermeye $p$'nin değili (olumsuzu) denir.
• 🔣 **Gösterim:** Bir $p$ önermesinin değili $p'$ veya $\neg p$ şeklinde gösterilir.
• 🔢 **Doğruluk Tablosu:**
  • Eğer $p$ doğru ($1$) ise, $p'$ yanlış ($0$) olur.
  • Eğer $p$ yanlış ($0$) ise, $p'$ doğru ($1$) olur.
• 💡 **İpucu:** Bir önermenin değilinin değili, yine o önermenin kendisine denktir. Yani, $(p')' \equiv p$.

📌 Önermelerin Değili Nasıl Alınır?

Bir önermenin değilini alırken cümlenin anlamını tersine çevirmemiz gerekir. Özellikle matematiksel ifadelerde dikkatli olmak önemlidir.

• 📝 **Genel Kural:** Cümlenin yüklemini olumsuz yaparız. Örneğin, "Ayşe çalışkandır." önermesinin değili "Ayşe çalışkan değildir." şeklindedir.
• ➕ **Matematiksel İfadelerde Değil Alma:**
  • "Eşittir" $(=)$ ifadesinin değili "Eşit değildir" $(\neq)$ olur.
  • "Eşit değildir" $(\neq)$ ifadesinin değili "Eşittir" $(=)$ olur.
  • "Küçüktür" $(<)$ ifadesinin değili "Büyük veya eşittir" $(\ge)$ olur.
  • "Büyük veya eşittir" $(\ge)$ ifadesinin değili "Küçüktür" $(<)$ olur.
  • "Büyüktür" $(>)$ ifadesinin değili "Küçük veya eşittir" $(\le)$ olur.
  • "Küçük veya eşittir" $(\le)$ ifadesinin değili "Büyüktür" $(>)$ olur.
• 💡 **Örnekler:**
  • $p$: "$3+5=8$" önermesinin değili $p'$: "$3+5 \neq 8$" olur. (p doğru, p' yanlış)
  • $q$: "Tüm kuşlar uçar." önermesinin değili $q'$: "Tüm kuşlar uçmaz." veya "Bazı kuşlar uçmaz." (Daha doğru ifade)
  • $r$: "$x < 7$" önermesinin değili $r'$: "$x \ge 7$" olur.

📌 Niceleyicilerin (Her, Bazı) Değili

Mantıkta "her" (evrensel niceleyici, $\forall$) ve "bazı" (varlıksal niceleyici, $\exists$) ifadeleri içeren önermelerin değillerini almak özel kurallar gerektirir.

• 📝 **Kural 1:** "Her" $(\forall)$ niceleyicisinin değili "Bazı" $(\exists)$ niceleyicisi ve yüklemin değili alınarak yapılır.
• 📝 **Kural 2:** "Bazı" $(\exists)$ niceleyicisinin değili "Her" $(\forall)$ niceleyicisi ve yüklemin değili alınarak yapılır.
• 💡 **Örnekler:**
  • $p$: "Her öğrenci ders çalışır." $(\forall x, P(x))$ önermesinin değili $p'$: "Bazı öğrenciler ders çalışmaz." $(\exists x, \neg P(x))$ olur.
  • $q$: "Bazı insanlar zengindir." $(\exists x, Q(x))$ önermesinin değili $q'$: "Her insan zengin değildir." $(\forall x, \neg Q(x))$ olur.

⚠️ **Dikkat:** Niceleyici içeren önermelerin değilini alırken hem niceleyiciyi hem de yüklemi değiştirmeyi unutma!