💡 9. Sınıf Matematik: Mantık Bağlaçları ve Niceleyiciler: Algoritmalar ve Matematiksel İspatlarda Kullanımı Çözümlü Örnekler

Öncelikle verilen önermelerin doğruluk değerlerini belirleyelim:

• \( p \): "2 tek sayıdır." Önermesi Yanlış (Y) bir önermedir.
• \( q \): "3 çift sayıdır." Önermesi de Yanlış (Y) bir önermedir.

Şimdi \( p \land q \) (p VE q) önermesini inceleyelim.
"VE" ( \( \land \) ) bağlacında, sonucun doğru (D) olması için her iki önermenin de doğru olması gerekir. Eğer önermelerden biri veya ikisi birden yanlış ise, sonuç yanlış olur.
Bu durumda, \( p \) yanlış (Y) ve \( q \) yanlış (Y) olduğundan:
\( p \land q \equiv Y \land Y \equiv Y \)
Sonuç olarak, \( p \land q \) önermesinin doğruluk değeri Yanlış'tır. ✅

Verilen önermelerin doğruluk değerlerini belirleyelim:

• \( r \): "Her tam sayı çifttir." Bu önerme Yanlış (Y) bir önermedir, çünkü tek sayılar da vardır.
• \( s \): "Bazı tam sayılar tektir." Bu önerme Doğru (D) bir önermedir.

Şimdi \( r \lor s \) (r VEYA s) önermesini inceleyelim.
"VEYA" ( \( \lor \) ) bağlacında, sonucun doğru (D) olması için önermelerden en az birinin doğru olması yeterlidir. Sadece her iki önerme de yanlış ise sonuç yanlış olur.
Bu durumda, \( r \) yanlış (Y) ve \( s \) doğru (D) olduğundan:
\( r \lor s \equiv Y \lor D \equiv D \)
Sonuç olarak, \( r \lor s \) önermesinin doğruluk değeri Doğru'dur. 👍

Akış diyagramındaki adımları mantıksal ifadelerle temsil edelim:

• Girdiğimiz sayı \( x \) olsun.
• p önermesi: "\( x > 10 \)" şeklinde tanımlansın.

Akış diyagramının 3. ve 4. adımları bir koşul ifadesidir. Bu, mantıkta "ise" ( \( \Rightarrow \) ) bağlacı ile ifade edilebilir. Ancak burada doğrudan bir koşul sonucu değil, bir çıktının üretilmesi söz konusu.
Daha net ifade etmek gerekirse, programın çıktısı p önermesinin doğruluk değerine bağlıdır:

• Eğer \( p \) doğru ise (yani \( x > 10 \) ise), program "Büyük" çıktısını verir.
• Eğer \( p \) yanlış ise (yani \( x \le 10 \) ise), program "Küçük veya Eşit" çıktısını verir.

Bu durumu şöyle ifade edebiliriz:
Çıktı = \( \begin{cases} \text{"Büyük"} & \text{eğer } p \text{ doğru ise} \\ \text{"Küçük veya Eşit"} & \text{eğer } p \text{ yanlış ise} \end{cases} \)
Bu, algoritmaların temelinde yatan koşullu ifadelerin mantıksal karşılığıdır. 📌

Öncelikle verilen önermelerin doğruluk değerlerini belirleyelim:

• \( p \): "Her çift sayının karesi çifttir." Örneğin, \( 2^2 = 4 \) (çift), \( 4^2 = 16 \) (çift). Bu önerme Doğru (D) bir önermedir.
• \( q \): "Bazı tek sayıların karesi tektir." Örneğin, \( 3^2 = 9 \) (tek), \( 5^2 = 25 \) (tek). Bu önerme de Doğru (D) bir önermedir.

Şimdi \( p \Rightarrow q \) (p İSE q) önermesini inceleyelim.
"İSE" ( \( \Rightarrow \) ) bağlacında, sonucun yanlış (Y) olması için ilk önermenin doğru (D) ve ikinci önermenin yanlış (Y) olması gerekir. Diğer tüm durumlarda sonuç doğru (D) olur.
Bu durumda, \( p \) doğru (D) ve \( q \) doğru (D) olduğundan:
\( p \Rightarrow q \equiv D \Rightarrow D \equiv D \)
Sonuç olarak, \( p \Rightarrow q \) önermesinin doğruluk değeri Doğru'dur. ✨

Matematiksel ispatlarda karşıt-ters (contrapositive) yöntemi önemli bir tekniktir. Orijinal önermenin \( p \Rightarrow q \) olduğunu biliyoruz.
Bunun karşıt-tersi ise \( \neg q \Rightarrow \neg p \) şeklinde ifade edilir.

Şimdi önermeleri tekrar tanımlayalım:

• \( p \): "Bir sayının karesi tektir."
• \( q \): "Bir sayı tektir."

Bu durumda:

• \( \neg p \): "Bir sayının karesi tek değildir." (Yani, "Bir sayının karesi çifttir.")
• \( q \): "Bir sayı tek değildir." (Yani, "Bir sayı çifttir.")

Karşıt-ters önermesi: \( \neg q \Rightarrow \neg p \)
Bu da şu anlama gelir: "Eğer bir sayı çift ise, o sayının karesi de çifttir."

Bu karşıt-ters önermeyi ispatlayarak orijinal önermeyi de ispatlamış oluruz. Bir çift sayıyı \( 2k \) şeklinde ifade edebiliriz, burada \( k \) bir tam sayıdır.
Bu sayının karesi: \( (2k)^2 = 4k^2 = 2(2k^2) \).
\( 2k^2 \) bir tam sayı olduğundan, \( 2(2k^2) \) sayısı çifttir. Böylece karşıt-ters önermesi ispatlanmış olur. ✅

Algoritmanın belirttiği koşulu mantıksal bağlaçlarla ifade edelim:

• Kullanıcının yaşı \( y \) olsun.
• Koşulun ilk kısmı: "Yaşı 18'den büyükse". Bu, \( y > 18 \) olarak ifade edilir.
• Koşulun ikinci kısmı: "(yaşı 65'ten küçükse VEYA yaşı tam olarak 65 ise)". Bu, \( (y < 65) \lor (y = 65) \) şeklinde ifade edilir. Bu ifade aynı zamanda \( y \le 65 \) olarak da yazılabilir.

Bu iki koşulun birleşimi "VE" bağlacı ile sağlanıyor. Yani, her iki ana koşulun da doğru olması gerekiyor.
Bu durumda, algoritmanın "Yetişkin" işaretlemesi için geçerli olan mantıksal ifade şudur:
\( (y > 18) \land (y \le 65) \)
Bu ifade, yaşın 18'den büyük ve 65'ten küçük veya eşit olduğu durumları kapsar. Bu, matematiksel olarak \( 18 < y \le 65 \) aralığına denk gelir. 💯

Kampanyanın kuralını mantıksal bağlaçlarla ifade edelim:

• Alışveriş tutarı \( T \) (TL).
• Üye kartı olup olmadığını belirten önerme \( U \) olsun. \( U \) doğru ise müşteri üyedir, yanlış ise değildir.

Kampanyanın koşulları şunlardır:

• Birinci koşul: "100 TL'den fazla alışveriş yaparsa". Bu, \( T > 100 \) olarak ifade edilir.
• İkinci koşul: "Üye kartı varsa". Bu, \( U \) önermesi ile temsil edilir.

Bu iki koşuldan en az birinin sağlanması durumunda indirim kazanılıyor. Bu da "VEYA" ( \( \lor \) ) bağlacı ile ifade edilir.
Dolayısıyla, müşterinin %10 indirim kazanması için gereken mantıksal koşul şudur:
\( (T > 100) \lor U \)
Yani, ya alışveriş tutarı 100 TL'den fazladır ya da müşteri üyedir (veya her ikisi birden). Bu durumdaki müşteriler indirime hak kazanır. 💰

Niceleyiciler, bir kümedeki elemanların bir özelliği taşıyıp taşımadığını ifade etmek için kullanılır. Bu önermede "her" kelimesi kullanıldığı için "Her" niceleyicisi ( \( \forall \) ) kullanılacaktır.

Önermeyi adımlara ayıralım:

• İncelenen küme: Pozitif tam sayılar kümesi. Bu küme \( \mathbb{Z}^+ \) ile gösterilebilir.
• Önermenin öznesi: Herhangi bir pozitif tam sayı. Bunu değişkenle temsil edelim, örneğin \( x \).
• Önermenin koşulu: "karesi pozitiftir". Eğer sayı \( x \) ise, karesi \( x^2 \) olur. Pozitif olması \( x^2 > 0 \) ile ifade edilir.

Şimdi bu parçaları birleştirerek niceleyicili önermeyi yazalım:
\( \forall x \in \mathbb{Z}^+, x^2 > 0 \)
Bu ifade şu şekilde okunur: "Her \( x \) elemanıdır pozitif tam sayılar kümesinin, öyle ki \( x \) kare büyüktür sıfırdan." Bu, verilen önermenin matematiksel ve niceleyicili gösterimidir. 🚀

Öncelikle verilen önermelerin doğruluk değerlerini inceleyelim. Bu, güncel duruma göre değişebilir, ancak mantıksal yapıyı anlamak için bir senaryo üzerinden gideceğiz.

Senaryo: Bugün gerçekten Pazartesi ise.

• \( p \): "Bugün Pazartesi'dir." Bu durumda Doğru (D) olur.
• \( q \): "Yarın Salı'dır." Bugün Pazartesi ise, yarın Salı olacağından bu önerme de Doğru (D) olur.

Şimdi \( p \Leftrightarrow q \) (p ANCAK VE ANCAK q) önermesini inceleyelim.
"ANCAK VE ANCAK" ( \( \Leftrightarrow \) ) bağlacı, iki önermenin de aynı doğruluk değerine sahip olması durumunda doğru (D) olur. Eğer doğruluk değerleri farklı ise sonuç yanlış (Y) olur.
Bu durumda, \( p \) doğru (D) ve \( q \) doğru (D) olduğundan:
\( p \Leftrightarrow q \equiv D \Leftrightarrow D \equiv D \)

Senaryo 2: Bugün Salı ise.

• \( p \): "Bugün Pazartesi'dir." Bu durumda Yanlış (Y) olur.
• \( q \): "Yarın Salı'dır." Bugün Salı ise, yarın Çarşamba olacağından bu önerme Yanlış (Y) olur.

Bu durumda, \( p \) yanlış (Y) ve \( q \) yanlış (Y) olduğundan:
\( p \Leftrightarrow q \equiv Y \Leftrightarrow Y \equiv D \)

Her iki durumda da \( p \Leftrightarrow q \) önermesi Doğru (D) çıkar. Çünkü "Bugün Pazartesi ise, yarın Salı'dır" ve "Bugün Pazartesi değilse, yarın Salı değildir" ifadeleri mantıksal olarak birbirine denktir. ✅