Mantık önermenin değili 9. sınıf Test 2

🎓 Mantık önermenin değili 9. sınıf Test 2 - Ders Notu

Sevgili öğrenciler, bu ders notu "Mantık önermenin değili" testindeki soruları daha kolay çözebilmeniz için hazırlandı. Burada bir önermenin ne olduğunu, doğruluk değerini ve özellikle farklı türdeki önermelerin (basit, bileşik, niceleyicili) değillerinin nasıl alındığını adım adım öğreneceğiz.

📌 Önerme (Proposition) Nedir?

Mantıkta bir önerme, doğru ya da yanlış kesin bir hüküm bildiren cümlelerdir. Bir cümlenin önerme olabilmesi için doğruluğu veya yanlışlığı kişiden kişiye değişmemeli, net olmalıdır.

• Doğruluk Değeri: Bir önerme doğru ise doğruluk değeri "1" (D), yanlış ise "0" (Y) ile gösterilir.
• Örnekler:
  • "Türkiye'nin başkenti Ankara'dır." (Doğru önerme, değeri 1)
  • "2 + 3 = 6." (Yanlış önerme, değeri 0)
• Önerme Olmayan Cümleler: Soru, emir, istek, dilek veya ünlem cümleleri önerme değildir. (Örn: "Bugün hava güzel mi?", "Kalemi ver!")

💡 İpucu: Bir cümlenin önerme olup olmadığını anlamak için "Bu cümle doğru mu, yanlış mı?" sorusunu sorun. Net bir cevabı varsa önermedir.

📌 Önermenin Değili (Negation) Nedir?

Bir önermenin değili (olumsuzu), o önermenin tam tersi anlama gelen ve doğruluk değerini değiştiren yeni bir önermedir. Eğer bir önerme doğruysa değili yanlış, yanlışsa değili doğru olur.

• Gösterimi: Bir $p$ önermesinin değili $p'$ veya $\neg p$ şeklinde gösterilir.
• Doğruluk Tablosu:
  • $p=1$ ise $p'=0$
  • $p=0$ ise $p'=1$
• Örnek:
  • $p$: "Hava güneşlidir."
  • $p'$: "Hava güneşli değildir."
• Önemli Kural: Bir önermenin değilinin değili, önermenin kendisine denktir: $(p')' \equiv p$.

⚠️ Dikkat: Bir önermenin değilini alırken sadece "değildir" eklemek yetmez, anlamın tamamen zıttı olması gerekir. Örneğin, "Sayı tektir." önermesinin değili "Sayı tek değildir." (yani çifttir.)

📌 Niceleyicili Önermelerin Değili

İçinde "her", "tüm", "bütün" veya "bazı", "en az bir" gibi ifadeler (niceleyiciler) geçen önermelerin değillerini alırken özel kurallar uygulanır.

• Her ($ \forall $): "Her", "tüm", "bütün" gibi ifadeler evrensel niceleyici olarak adlandırılır ve $ \forall $ sembolüyle gösterilir.
• Bazı ($ \exists $): "Bazı", "en az bir" gibi ifadeler varlıksal niceleyici olarak adlandırılır ve $ \exists $ sembolüyle gösterilir.

Değilini Alma Kuralları:

• "Her" ($ \forall $) ifadesinin değili "Bazı değildir" ($ \exists \neg $) olur.
• "Bazı" ($ \exists $) ifadesinin değili "Her değildir" ($ \forall \neg $) olur.

Örnekler:

• $p$: "Her kuş uçar." ($ \forall x, P(x) $)
• $p'$: "Bazı kuşlar uçmaz." ($ \exists x, \neg P(x) $)
• $q$: "Bazı sayılar tektir." ($ \exists x, Q(x) $)
• $q'$: "Her sayı tek değildir (yani çifttir)." ($ \forall x, \neg Q(x) $)

💡 İpucu: Niceleyicinin kendisi değişir (Her $\leftrightarrow$ Bazı) ve yüklem olumsuz yapılır (uçar $\leftrightarrow$ uçmaz).

📌 Bileşik Önermelerin Değili (De Morgan Kuralları)

Birden fazla önermenin bağlaçlarla birleşmesiyle oluşan önermelere bileşik önermeler denir. Bu önermelerin değillerini alırken De Morgan kuralları kullanılır.

📝 VE ($\land$) Bağlacının Değili

"Ve" bağlacı ile bağlanmış iki önermenin değilini alırken her önermenin değili alınır ve "ve" bağlacı "veya" bağlacına dönüşür.

• Kural: $(p \land q)' \equiv p' \lor q'$
• Örnek:
  • $p \land q$: "Bugün hava güneşli ve sıcak."
  • $(p \land q)'$: "Bugün hava güneşli değil veya sıcak değil."

📝 VEYA ($\lor$) Bağlacının Değili

"Veya" bağlacı ile bağlanmış iki önermenin değilini alırken her önermenin değili alınır ve "veya" bağlacı "ve" bağlacına dönüşür.

• Kural: $(p \lor q)' \equiv p' \land q'$
• Örnek:
  • $p \lor q$: "Sınavı geçtim veya tatil yapacağım."
  • $(p \lor q)'$: "Sınavı geçmedim ve tatil yapmayacağım."

📝 İSE ($\implies$) Bağlacının Değili

"İse" bağlacı ile bağlanmış önermenin değilini alırken önce "ise" bağlacını "veya" bağlacına dönüştürmek işinizi kolaylaştırır. $p \implies q$ önermesi $p' \lor q$ önermesine denktir.

• Kural: $(p \implies q)' \equiv (p' \lor q)' \equiv (p')' \land q' \equiv p \land q'$
• Örnek:
  • $p \implies q$: "Yağmur yağarsa yerler ıslanır."
  • $(p \implies q)'$: "Yağmur yağar ve yerler ıslanmaz."

⚠️ Dikkat: "İse" bağlacının değilinde, ilk önerme olduğu gibi kalır, ikinci önermenin değili alınır ve aradaki bağlaç "ve" olur.

📝 ANCAK VE ANCAK ($\iff$) Bağlacının Değili

"Ancak ve ancak" bağlacı ile bağlanmış iki önermenin değili, bu iki önermenin doğruluk değerlerinin farklı olduğu durumu ifade eder.

• Kural: $(p \iff q)' \equiv (p \land q') \lor (p' \land q)$
• Bu ifade aynı zamanda "ya... ya da..." (özel veya, $p \underline{\lor} q$) bağlacına denktir.
• Örnek:
  • $p \iff q$: "Ali çalışır ancak ve ancak sınavı geçer."
  • $(p \iff q)'$: "Ali çalışır ve sınavı geçmez VEYA Ali çalışmaz ve sınavı geçer." (Yani ikisinden biri gerçekleşirken diğeri gerçekleşmez.)

💡 İpucu: $(p \iff q)'$ demek, $p$ ile $q$'nun doğruluk değerlerinin birbirinden farklı olması demektir.

Bu notlar, testteki "Mantık önermenin değili" konularını anlamanıza ve soruları daha rahat çözmenize yardımcı olacaktır. Başarılar dilerim! 🚀