💡 9. Sınıf Matematik: Algoritma yapılarındaki mantık bağlaçları ve niceleyiciler Çözümlü Örnekler

Mantıkta "ve" (∧) bağlacının doğru olabilmesi için her iki önermenin de doğru olması gerekir.

• P önermesi yanlış (Yanlış).
• Q önermesi doğru (Doğru).

Bu durumda, P ∧ Q önermesi Yanlış olur. Çünkü bağlaçlardan biri yanlıştır. 💡

Bu soru "ise" (⇒) bağlacı ile ilgilidir.

"ise" bağlacında, sonuç önermesi yanlış olduğunda ve sebep önermesi doğru olduğunda önerme yanlış olur. Diğer tüm durumlarda doğrudur.

Verilenler:

• A ⇒ B : Doğru
• A : Doğru

Eğer A doğru ve A ⇒ B doğru ise, B de doğru olmak zorundadır. ✅

Niceleyiciler ve önermelerin doğruluğunu inceleyelim:

1. Her tam sayı, 3 ile tam bölünür. Bu önerme yanlıştır. Örneğin, 7 sayısı 3 ile tam bölünmez. ❌
2. Bazı çift sayılar, 5 ile tam bölünür. Bu önerme doğrudur. Örneğin, 10, 20, 30 gibi sayılar hem çift hem de 5 ile tam bölünür. 👉
3. Her çift sayı tek sayıdır. Bu önerme yanlıştır. Çift sayılar ve tek sayılar farklı kümelerdir. ❌
4. Bazı tek sayılar çifttir. Bu önerme yanlıştır. Tek sayılarla çift sayılar birbirini dışlar. ❌

Dolayısıyla, doğru olan önerme 2 numaralı önermedir. 💡

"Ancak ve ancak" (⇔) bağlacı, iki önermenin doğruluk değerleri aynı olduğunda doğru, farklı olduğunda yanlıştır.

Şimdi önermeleri inceleyelim:

• P: "İki sayının toplamı çift sayıdır." Bu önerme genel olarak yanlıştır. Örneğin, 2 (çift) + 3 (tek) = 5 (tek). Ancak, iki tek sayının toplamı (örneğin 3+5=8) veya iki çift sayının toplamı (örneğin 2+4=6) çifttir. Soruda genel bir ifade olduğu için, her zaman doğru olmadığını kabul edelim. 📌
• Q: "Bu iki sayının ikisi de tek sayıdır."

Eğer iki sayının ikisi de tek ise (örneğin 3 ve 5), toplamları çifttir (8). Bu durumda P doğru olur. Q da doğru olur. Doğru ⇔ Doğru sonucu Doğru'dur.

Eğer sayılardan biri tek, diğeri çift ise (örneğin 3 ve 4), toplamları tektir (7). Bu durumda P yanlış olur. Q da yanlış olur. Yanlış ⇔ Yanlış sonucu Doğru'dur.

Eğer iki sayının ikisi de çift ise (örneğin 2 ve 4), toplamları çifttir (6). Bu durumda P doğru olur. Q yanlış olur. Doğru ⇔ Yanlış sonucu Yanlış'tır.

Bu soruda, önermelerin her zaman doğru olup olmadığına bakmak yerine, olası durumları değerlendirdik. Ancak, genellikle bu tür sorularda "genel olarak doğru mu?" diye bakılır. Eğer "İki tek sayının toplamı çifttir" gibi bir ifade olsaydı, P önermesi daha net olurdu.

Sorunun genel yorumuyla, P ⇔ Q önermesinin doğruluk değeri, sayılara göre değişir. Ancak, eğer soruda "İki sayının toplamı çifttir" ifadesi, her zaman doğru bir matematiksel gerçek olarak kabul edilmezse, önermelerin doğruluk değerlerini duruma göre değerlendirmek gerekir.

Daha net bir ifadeyle:

Durum 1: İki sayı tek ise (Q doğru). Toplamları çifttir (P doğru). P ⇔ Q : Doğru ⇔ Doğru = Doğru.

Durum 2: İki sayı çift ise (Q yanlış). Toplamları çifttir (P doğru). P ⇔ Q : Doğru ⇔ Yanlış = Yanlış.

Durum 3: Bir sayı tek, bir sayı çift ise (Q yanlış). Toplamları tektir (P yanlış). P ⇔ Q : Yanlış ⇔ Yanlış = Doğru.

Bu nedenle, P ⇔ Q önermesi, seçilen sayılara bağlı olarak Doğru veya Yanlış olabilir. Ancak, matematiksel olarak "iki sayının toplamı çift sayıdır" ifadesi her zaman doğru değildir. Bu nedenle, bağlacın sonucunu "duruma göre değişir" olarak değerlendirmek en doğrusudur. Eğer soruda "Her iki sayının da tek olduğu durumda P ⇔ Q'nun doğruluk değeri nedir?" gibi bir soru olsaydı cevap daha net olurdu.

Eğer soruda ima edilen, "Her iki sayının da tek olması durumunda" ise, cevap Doğru'dur. 💡

Öğrenci, "Her pozitif tam sayı 1'den büyüktür." önermesinin yanlış olduğunu biliyor. Bir "her" niceleyicili önermenin yanlış olması demek, o önermenin olumsuzunun doğru olması demektir.

Önermenin olumsuzu şöyledir:

Orijinal önerme: \( \forall x \in \mathbb{Z}^+, x > 1 \)

Olumsuz önerme: \( \exists x \in \mathbb{Z}^+, x \leq 1 \)

Bu, "En az bir pozitif tam sayı 1'e eşittir veya 1'den küçüktür." anlamına gelir.

Şimdi seçenekleri inceleyelim:

1. Bazı pozitif tam sayılar 1'e eşittir. Bu ifade, olumsuz önerme ile uyumludur. Pozitif tam sayılar kümesinde 1 sayısı vardır ve bu sayı 1'e eşittir. Bu önerme doğrudur. ✅
2. Her pozitif tam sayı 1'den küçüktür. Bu önerme yanlıştır. Örneğin, 5 sayısı 1'den büyük ve pozitif bir tam sayıdır. ❌
3. Bazı pozitif tam sayılar 1'den büyüktür. Bu ifade, orijinal önermenin olumsuzunu değil, kendisini ifade eder. Orijinal önerme yanlış olduğuna göre, bu da yanlış olmalıdır. (Çünkü her pozitif tam sayı 1'den büyük değilse, bazıları büyük olmayabilir ama bazıları büyüktür, örneğin 2 sayısı. Ancak, "her" önermesi yanlış olduğunda, "bazı" önermesi doğru olabilir veya olmayabilir. Burada önemli olan, olumsuzunun doğru olmasıdır.) 📌
4. Hiçbir pozitif tam sayı 1'den büyük değildir. Bu ifade, "Her pozitif tam sayı 1'den büyük değildir." anlamına gelir ve bu da yanlıştır. ❌

Dolayısıyla, öğrencinin bildiği yanlış önermenin olumsuzu olan ve doğru olması gereken önerme 1 numaralı önermedir. 💡

Bu durum, "ise" (⇒) mantık bağlacı ile ifade edilebilir.

Önermeleri tanımlayalım:

• P: "Ürünün fiyatı 50 TL'den ucuzdur."
• Q: "Ürüne %10 indirim uygulanır."

Kampanyanın kuralı: P ⇒ Q (Eğer P doğru ise, Q doğrudur.)

Ayşe'nin aldığı ürünün fiyatı 40 TL'dir. Bu durumda:

• P önermesi doğrudur (40 TL, 50 TL'den ucuzdur).

"ise" bağlacında, sebep (P) doğru olduğunda, sonuç (Q) da doğru olmak zorundadır ki önerme doğru olsun.

Dolayısıyla, Ayşe'nin aldığı ürüne %10 indirim uygulanır. ✅

İndirim miktarını hesaplayalım:

Ürün fiyatı = 40 TL

İndirim oranı = %10

İndirim miktarı = 40 TL * 10/100 = 4 TL

Ayşe, bu ürünü 4 TL indirimle alır. 💰

Orijinal önermemiz: "Her doğal sayı tek sayıdır."

Bu önermenin niceleyicisi "Her" ve yüklemi "tek sayıdır".

Bir "Her" niceleyicili önermenin olumsuzu, "Bazı" niceleyicili ve yüklemi olumsuzlanmış bir önermedir.

Orijinal önermenin olumsuzu şu şekilde olmalıdır:

"Bazı doğal sayılar tek sayı değildir." (veya eşdeğeri: "Bazı doğal sayılar çift sayıdır.")

Şimdi seçenekleri inceleyelim:

1. Bazı doğal sayılar çift sayıdır. Bu, "Bazı doğal sayılar tek sayı değildir." önermesinin eşdeğeridir ve orijinal önermenin olumsuzudur. ✅
2. Her doğal sayı çift sayıdır. Bu önerme, "Her" niceleyicisi ile başlamaktadır. Orijinal önermenin olumsuzu "Bazı" ile başlamalıdır. Bu nedenle, bu önerme olumsuz değildir. ❌
3. Bazı doğal sayılar tek sayı değildir. Bu, doğrudan orijinal önermenin olumsuzudur. ✅
4. Hiçbir doğal sayı tek sayı değildir. Bu ifade, "Her doğal sayı tek sayı değildir." anlamına gelir ve bu da "Bazı doğal sayılar tek sayı değildir." ile eşdeğerdir. Bu da orijinal önermenin olumsuzudur. ✅

Dolayısıyla, orijinal önermenin olumsuzu olmayan seçenek 2 numaralı önermedir. 💡

Bu durum, "ise" (⇒) mantık bağlacı ile ifade edilebilir.

Önermeleri tanımlayalım:

• P: "Otobüs gelmiştir."
• Q: "Herkes binecektir."

Duyurunun ifadesi: P ⇒ Q (Eğer P doğru ise, Q doğrudur.)

Otobüs durağa yanaştığına göre:

• P önermesi doğrudur.

"ise" bağlacının doğruluk tablosuna göre, P doğru iken Q'nun da doğru olması, önermenin tamamının doğru olmasını sağlar.

Dolayısıyla, duyurunun doğru olması için, otobüs geldiğinde herkesin otobüse binmesi gerekir. ✅

Bu durumda, yolcular otobüse binecektir. 🚌

Orijinal önermemiz: "Her öğrenci bu sınavı geçmiştir."

Bu önermenin niceleyicisi "Her"dir. Bu önermenin doğru olması için, ilgili kümedeki (öğrenciler kümesi) tüm elemanlar için yüklemin (bu sınavı geçmiştir) doğru olması gerekir.

Şimdi seçenekleri inceleyelim:

1. Bazı öğrenciler bu sınavı geçmemiştir. Bu önerme, orijinal önermenin olumsuzudur. Orijinal önerme doğru ise bu önerme yanlış, orijinal önerme yanlış ise bu önerme doğrudur. Dolayısıyla, aynı doğruluk değerine sahip değildirler. ❌
2. Hiçbir öğrenci bu sınavı geçmemiştir. Bu ifade, "Her öğrenci bu sınavı geçmemiştir." anlamına gelir. Bu da orijinal önermenin olumsuzunun olumsuzu gibi bir durumdur. Orijinal önerme doğru ise bu önerme yanlış, orijinal önerme yanlış ise bu önerme doğrudur. Aynı doğruluk değerine sahip değildirler. ❌
3. Eğer bir öğrenci bu sınavı geçmemişse, o zaman her öğrenci bu sınavı geçmiştir. Bu bir koşullu önermedir (ise). P ⇒ Q şeklinde düşünelim.

   P: "Bir öğrenci bu sınavı geçmemiştir."

   Q: "Her öğrenci bu sınavı geçmiştir."

   Şimdi bu önermenin doğruluk değerini inceleyelim:

   • Eğer her öğrenci sınavı geçmişse (Q doğru), o zaman P önermesi (bir öğrenci geçmemişse) yanlış olur. Bu durumda Yanlış ⇒ Doğru önermesi Doğru olur.
   • Eğer herkes sınavı geçmemişse (Q yanlış), o zaman P önermesi (bir öğrenci geçmemişse) doğru olur. Bu durumda Doğru ⇒ Yanlış önermesi Yanlış olur.

   Bu seçenek, orijinal önerme ile aynı doğruluk değerine sahip değildir. ❌

4. Eğer bir öğrenci bu sınavı geçmişse, o zaman her öğrenci bu sınavı geçmiştir. Bu da bir koşullu önermedir. P ⇒ Q şeklinde düşünelim.

   P: "Bir öğrenci bu sınavı geçmiştir."

   Q: "Her öğrenci bu sınavı geçmiştir."

   Bu önermenin doğruluk değerini inceleyelim:

   • Eğer her öğrenci sınavı geçmişse (Q doğru), o zaman P önermesi de (bir öğrenci geçmişse) doğru olur. Bu durumda Doğru ⇒ Doğru önermesi Doğru olur.
   • Eğer bazı öğrenciler sınavı geçmemişse (Q yanlış), o zaman P önermesi hala doğru olabilir (eğer geçen öğrenciler varsa). Bu durumda Doğru ⇒ Yanlış önermesi Yanlış olur.

   Daha dikkatli inceleyelim:

   Orijinal önerme: \( \forall x, P(x) \) (Her öğrenci P özelliğine sahiptir)

   Seçenek 4: \( P(a) \Rightarrow (\forall x, P(x)) \) (Eğer a öğrencisi P özelliğine sahipse, o zaman her öğrenci P özelliğine sahiptir.)

   Bu önerme, orijinal önerme ile aynı doğruluk değerine sahip değildir. Ancak, bazen bu tür sorularda belirli bir mantıksal denklik aranır.

   Tekrar düşünelim: Orijinal önerme doğru ise, yani her öğrenci geçmişse, o zaman herhangi bir öğrenciyi alıp onun geçtiğini söylediğimizde de (P doğru) ve "herkes geçmiş" dediğimizde de (Q doğru), Doğru ⇒ Doğru sonucu Doğru olur.

   Orijinal önerme yanlış ise, yani en az bir öğrenci geçmemişse, o zaman "herkes geçmiş" önermesi (Q) yanlış olur. Bu durumda, P önermesi "bir öğrenci geçmiş" olarak doğru olabilir (eğer geçenler varsa). O zaman Doğru ⇒ Yanlış önermesi Yanlış olur. Bu da orijinal önermenin yanlış olmasıyla tutarlıdır.

   Bu nedenle, bu seçenek orijinal önerme ile aynı doğruluk değerine sahiptir. ✅