9. Sınıf: Algoritmik yapılarda mantık ve niceleyiciler Kazanım Değerlendirme Testleri

🚀 9. Sınıf Matematik'in temel taşlarından biri olan Mantık konusuyla tanışmaya hazır mısınız? Algoritmik düşünmenin kapılarını aralayan mantık ve niceleyiciler, hem günlük hayatta hem de yazılım dünyasında kritik öneme sahiptir. Bu konuda, önermelerin doğruluğunu anlamayı, mantıksal bağlaçlarla bileşik önermeler kurmayı ve niceleyicilerin evrensel ya da varlıksal ifadeleri nasıl temsil ettiğini keşfedeceğiz! 💡

9. Sınıf Matematik: Algoritmik Yapılarda Mantık ve Niceleyiciler

📌 Mantık Kavramları ve Önermeler

Matematiksel mantık, doğru veya yanlış değer alabilen ifadeleri inceler. Bu ifadeler, önerme olarak adlandırılır.

Tanım: Önerme
Doğru ya da yanlış kesin bir hüküm bildiren ifadelere önerme denir. Emir, soru, ünlem cümleleri önerme değildir.

Bir önermenin doğru veya yanlış olma durumuna doğruluk değeri denir. Doğru önerme D (veya 1) ile, yanlış önerme Y (veya 0) ile gösterilir.

📌 Mantık Bağlaçları

Birden fazla önermeyi birbirine bağlamak için mantık bağlaçları kullanılır. Başlıca mantık bağlaçları şunlardır:

• Değili (Olumsuzu) ($\neg$): Bir önermenin zıt doğruluk değerini alır.
• Ve ($\land$): Her iki önerme de doğru ise doğru, diğer durumlarda yanlıştır.
• Veya ($\lor$): Her iki önerme de yanlış ise yanlış, diğer durumlarda doğrudur.
• Ya da ($\underline{\lor}$): Önermelerden yalnızca biri doğru ise doğru, diğer durumlarda yanlıştır.
• İse ($\implies$): Birinci önerme doğru, ikinci önerme yanlış ise yanlış; diğer tüm durumlarda doğrudur.
• Ancak ve Ancak ($\iff$): Her iki önermenin doğruluk değeri aynı ise doğru, farklı ise yanlıştır.

Mantık Bağlaçlarının Doğruluk Tabloları

📌 Niceleyiciler

Bir kümedeki tüm elemanları veya bazı elemanları belirtmek için niceleyiciler kullanılır.

Evrensel Niceleyici ($\forall$)
"Her", "bütün", "tüm" anlamlarına gelir. Bir önermeyi kümedeki tüm elemanlar için doğru kılıyorsa kullanılır.

Varlık Niceleyicisi ($\exists$)
"Bazı", "en az bir" anlamlarına gelir. Bir önermeyi kümedeki en az bir eleman için doğru kılıyorsa kullanılır.

Niceleyicilerin Değili

• $(\forall x, P(x))$ önermesinin değili $(\exists x, \neg P(x))$ şeklindedir.
• $(\exists x, P(x))$ önermesinin değili $(\forall x, \neg P(x))$ şeklindedir.

📌 Algoritmik Yapılarda Mantık Uygulamaları

Algoritmalar, belirli bir problemi çözmek için adım adım yönergeler bütünüdür. Bu yönergeler genellikle mantıksal ifadeler ve koşullara dayanır:

• Koşullu İfadeler: Eğer (if)...o zaman (then)...değilse (else) yapıları, mantık bağlaçlarının doğrudan uygulamasıdır. Örneğin, "Eğer sayı 10'dan büyük VE çift ise, ekrana 'Büyük ve Çift' yaz."
• Döngüler: ...olduğu sürece (while) veya için (for) döngüleri, belirli bir koşul doğru olduğu sürece veya belirli bir aralık için tekrar eden işlemleri içerir.

✍️ Çözümlü Örnek Sorular

✅ Soru 1: Önerme Değerleri

Aşağıdaki ifadelerin önerme olup olmadığını ve önerme ise doğruluk değerlerini belirleyiniz.

1. "Türkiye'nin başkenti Ankara'dır."
2. "Bugün hava güzel mi?"
3. "En büyük asal sayı 7'dir."

💡 Çözüm 1:

1. İfade: "Türkiye'nin başkenti Ankara'dır."

   • Bu ifade kesin bir hüküm bildirdiği için bir önermedir.
   • Türkiye'nin başkenti gerçekten Ankara olduğu için doğruluk değeri D (1)'dir.

2. İfade: "Bugün hava güzel mi?"

   • Bu ifade bir soru cümlesi olduğu için kesin bir hüküm bildirmez, dolayısıyla bir önerme değildir.

3. İfade: "En büyük asal sayı 7'dir."

   • Bu ifade kesin bir hüküm bildirdiği için bir önermedir.
   • Ancak, asal sayılar sonsuza kadar devam ettiği ve 7'den büyük asal sayılar (örn. 11, 13) olduğu için bu ifade yanlıştır. Doğruluk değeri Y (0)'dır.

✅ Soru 2: Bileşik Önerme ve Niceleyici

$p$: "Her tam sayı bir doğal sayıdır."

$q$: "Bazı asal sayılar çifttir."

Yukarıdaki önermelerin doğruluk değerlerini bulunuz ve $(p \land q) \implies \neg p$ bileşik önermesinin doğruluk değerini hesaplayınız.

💡 Çözüm 2:

1. $p$: "Her tam sayı bir doğal sayıdır."

   • Tam sayılar kümesi doğal sayılar kümesini kapsamaz (örn. $-3$ bir tam sayıdır ama doğal sayı değildir).
   • Bu önerme yanlıştır. Dolayısıyla $p \equiv 0$.

2. $q$: "Bazı asal sayılar çifttir."

   • Asal sayılar kümesi $\{2, 3, 5, 7, ...\}$'dir. Bu kümede 2 sayısı hem asal hem de çifttir.
   • En az bir tane çift asal sayı olduğu için bu önerme doğrudur. Dolayısıyla $q \equiv 1$.

3. $(p \land q) \implies \neg p$ bileşik önermesinin doğruluk değeri:

   • Öncelikle $p$ ve $q$'nun doğruluk değerlerini yerine yazalım: $(0 \land 1) \implies \neg 0$.
   • Parantez içindeki $p \land q$ ifadesini hesaplayalım: $0 \land 1 \equiv 0$.
   • $\neg p$ ifadesini hesaplayalım: $\neg 0 \equiv 1$.
   • Şimdi ifade $0 \implies 1$ haline geldi.
   • İse bağlacının kuralına göre, $0 \implies 1$ ifadesinin doğruluk değeri 1'dir.
   • Sonuç olarak, $(p \land q) \implies \neg p \equiv 1$.