Bir önermenin olumsuzu (değili) nasıl alınır Test 2

🎓 Bir önermenin olumsuzu (değili) nasıl alınır Test 2 - Ders Notu

Merhaba sevgili öğrenciler! Bu ders notu, "Bir önermenin olumsuzu (değili) nasıl alınır Test 2" testinde karşılaşacağınız temel mantık konularını sade ve anlaşılır bir dille özetlemek için hazırlandı. Özellikle basit ve bileşik önermelerin, ayrıca niceleyicili önermelerin olumsuzunu alma kurallarına odaklanacağız.

📌 Önerme Nedir?

Mantıkta "önerme", doğru ya da yanlış kesin bir hüküm bildiren ifadelere denir. Bir ifadenin önerme olabilmesi için kişiden kişiye değişmeyen, objektif bir yargı içermesi gerekir.

• 📝 **Tanım:** Doğruluk değeri (doğru ya da yanlış) kesin olarak belirlenebilen cümlelerdir.
• ⚠️ **Dikkat:** Soru cümleleri, emir cümleleri, istek cümleleri veya öznel yargılar (örneğin "Bu film çok güzel.") önerme değildir.
• 💡 **Örnek:** "Türkiye'nin başkenti Ankara'dır." (Doğru bir önerme) veya "$2+3=6$" (Yanlış bir önerme).

📌 Önermenin Olumsuzu (Değili) Nedir?

Bir önermenin olumsuzu (değili), o önermenin tam tersi doğruluk değerine sahip olan yeni bir önermedir. Eğer bir önerme doğruysa, değili yanlıştır; eğer yanlışsa, değili doğrudur.

• 📝 **Gösterim:** Bir $p$ önermesinin değili $p'$ veya $\sim p$ şeklinde gösterilir.
• 💡 **Örnek:**
  • $p$: "Güneş bir yıldızdır." (Doğru)
  • $p'$: "Güneş bir yıldız değildir." (Yanlış)
• ⚠️ **Unutma:** Bir önermenin değilinin değili kendisidir: $(p')' \equiv p$.

📌 Basit Önermelerin Olumsuzu Nasıl Alınır?

Basit bir önermenin olumsuzunu almak genellikle yüklemi olumsuz hale getirmekle yapılır. Matematiksel ifadelerde ise eşitsizlik yönü değişir.

• 📝 **Kural:** Önermenin yüklemini "değildir", "yoktur", "değildir." gibi ifadelerle olumsuz yap.
• 💡 **Örnekler:**
  • $p$: "Ali uzundur." $\rightarrow p'$: "Ali uzun değildir."
  • $q$: "5 tek sayıdır." $\rightarrow q'$: "5 tek sayı değildir." (veya "5 çift sayıdır.")
• 🔢 **Matematiksel İfadelerde:**
  • $x = y \rightarrow (x=y)' \equiv x \ne y$
  • $x < y \rightarrow (x
  • $x \le y \rightarrow (x \le y)' \equiv x > y$

📌 Bileşik Önermelerin Olumsuzu Nasıl Alınır?

Birden fazla basit önermenin bağlaçlarla birleşmesiyle oluşan bileşik önermelerin olumsuzunu alırken bağlaçlara özel kurallar uygulanır. De Morgan kuralları burada çok önemlidir.

💡 "ve" ($ \land $) ve "veya" ($ \lor $) Bağlaçlarının Olumsuzu (De Morgan Kuralları)

Bu kurallar, "ve" ile "veya" bağlaçlarının yer değiştirdiğini ve her bir önermenin de olumsuzunun alındığını söyler.

• 📝 **Kural 1:** $(p \land q)' \equiv p' \lor q'$ ( "ve" bağlacı "veya"ya dönüşür)
• 📝 **Kural 2:** $(p \lor q)' \equiv p' \land q'$ ( "veya" bağlacı "ve"ye dönüşür)
• 💡 **İpucu:** Bağlacı değiştir ve her bir önermenin değilini al!
• **Örnek:**
  • $p \land q$: "Hava güneşli **ve** sıcak."
  • $(p \land q)'$: "Hava güneşli **değil veya** sıcak **değil**."

💡 "ise" ($ \implies $) Bağlacının Olumsuzu

"ise" bağlacının olumsuzunu alırken özel bir kural kullanılır.

• 📝 **Kural:** $(p \implies q)' \equiv p \land q'$
• ⚠️ **Dikkat:** "ise" bağlacının olumsuzunu alırken, ilk önerme ($p$) aynen kalır, "ise" bağlacı "ve"ye ($ \land $) dönüşür ve ikinci önermenin ($q$) değili alınır.
• **Örnek:**
  • $p \implies q$: "Yağmur yağarsa, yerler ıslanır."
  • $(p \implies q)'$: "Yağmur yağar **ve** yerler ıslanmaz."

💡 "ancak ve ancak" ($ \iff $) Bağlacının Olumsuzu

"ancak ve ancak" bağlacının olumsuzunu almak biraz daha karmaşıktır. Bu durum, önermelerden birinin doğru diğerinin yanlış olması halidir.

• 📝 **Kural:** $(p \iff q)' \equiv (p \land q') \lor (p' \land q)$
• 💡 **İpucu:** Bu ifade, "$p$ doğru iken $q$ yanlış veya $p$ yanlış iken $q$ doğru" anlamına gelir. Yani, $p$ ile $q$'nun doğruluk değerlerinin farklı olması durumudur.

📌 Niceleyicili Önermelerin Olumsuzu Nasıl Alınır?

İfadelerde "her", "bütün", "tüm" (evrensel niceleyici $\forall$) veya "bazı", "en az bir" (varlıksal niceleyici $\exists$) gibi niceleyiciler varsa, olumsuzunu alırken bu niceleyiciler de değişir.

💡 "Her" ($\forall$) Niceleyicisinin Olumsuzu

"Her" niceleyicisinin olumsuzunu alırken "bazı" niceleyicisi kullanılır ve önermenin değili alınır.

• 📝 **Kural:** $(\forall x, P(x))' \equiv \exists x, P'(x)$
• **Örnek:**
  • $p$: "Her öğrenci çalışkandır." ($\forall x$, $x$ çalışkandır.)
  • $p'$: "Bazı öğrenciler çalışkan değildir." ($\exists x$, $x$ çalışkan değildir.)

💡 "Bazı" ($\exists$) Niceleyicisinin Olumsuzu

"Bazı" niceleyicisinin olumsuzunu alırken "her" niceleyicisi kullanılır ve önermenin değili alınır.

• 📝 **Kural:** $(\exists x, P(x))' \equiv \forall x, P'(x)$
• **Örnek:**
  • $q$: "Bazı kuşlar uçar." ($\exists x$, $x$ uçar.)
  • $q'$: "Her kuş uçmaz." (veya "Hiçbir kuş uçmaz.") ($\forall x$, $x$ uçmaz.)
• ⚠️ **Dikkat:** Niceleyici değişir ($\forall \leftrightarrow \exists$), önermenin de değili alınır.

Umarım bu notlar testteki başarınıza yardımcı olur! Başarılar dilerim! 🚀