💡 9. Sınıf Matematik: Mantık bağlaçları ve niceliklerin algoritmada kullanımı Çözümlü Örnekler

Bir ifadenin mantık önermesi olabilmesi için doğru ya da yanlış olduğunun kesin olarak bilinebilmesi gerekir. 🤔

• I. "Bugün hava güneşli" ifadesinin doğruluğu veya yanlışlığı, o günün hava durumuna göre değişir. Bu nedenle bu bir mantık önermesidir. ✅
• II. "Kapıyı kapat." ifadesi bir emir cümlesidir. Doğru veya yanlış olarak değerlendirilemez. Bu nedenle bir mantık önermesi değildir. ❌
• III. "İki basamaklı en büyük asal sayı 97'dir." ifadesi matematiksel olarak doğruluğu veya yanlışlığı kesin olarak bilinebilen bir ifadedir. 97 gerçekten de iki basamaklı en büyük asal sayıdır. Bu nedenle bu bir mantık önermesidir. ✅

Sonuç olarak, I ve III önermeleri mantık önermesidir.

Mantıkta "ve" ( \( \land \) ) bağlacı, her iki önermenin de doğru olması durumunda sonuç önermeyi doğru yapar. Diğer tüm durumlarda sonuç yanlıştır. 💡

• p önermesi: "10 tek sayıdır." Bu ifade yanlıştır. (Doğruluk değeri: 0) ❌
• q önermesi: "10 çift sayıdır." Bu ifade doğrudur. (Doğruluk değeri: 1) ✅

Şimdi \( p \land q \) önermesini inceleyelim:

\( p \land q \equiv 0 \land 1 \)

Her iki önerme de doğru olmadığı için \( p \land q \) önermesi yanlıştır. (Doğruluk değeri: 0) 👎

Mantıkta "veya" ( \( \lor \) ) bağlacı, önermelerden en az birinin doğru olması durumunda sonuç önermeyi doğru yapar. Sadece her ikisi de yanlış olduğunda sonuç yanlıştır. 👍

• r önermesi: "Her tam sayı pozitiftir." Bu ifade yanlıştır. (Doğruluk değeri: 0) ❌
• s önermesi: "Bazı tam sayılar negatiftir." Bu ifade doğrudur. (Örneğin -1, -2 gibi sayılar.) (Doğruluk değeri: 1) ✅

Şimdi \( r \lor s \) önermesini inceleyelim:

\( r \lor s \equiv 0 \lor 1 \)

Önermelerden biri (s) doğru olduğu için \( r \lor s \) önermesi doğrudur. (Doğruluk değeri: 1) 🎉

Bu durumu "ise" ( \( \Rightarrow \) ) bağlacı ile ifade edebiliriz. Koşullu önermelerde, ilk önerme doğru olduğunda ikinci önermenin de doğru olması beklenir. Eğer ilk önerme yanlış ise, ikinci önermenin doğruluğu veya yanlışlığı sonucu değiştirmez. 💻

Önermeleri tanımlayalım:

• p: "Kullanıcının yaşı 18'den büyüktür."
• q: "Giriş İzin Verildi mesajı gösterilir."

Bu durumda, programın mantığı şu şekilde ifade edilebilir:

\( p \Rightarrow q \)

Bu ifade şu anlama gelir: Eğer kullanıcının yaşı 18'den büyükse (p doğru ise), o zaman "Giriş İzin Verildi" mesajı gösterilir (q doğru olur). Eğer kullanıcının yaşı 18'den büyük değilse (p yanlış ise), programın bu koşul ifadesine göre davranışı değişebilir, ancak bu \( p \Rightarrow q \) yapısında "Giriş Reddedildi" mesajının gösterilmesi durumu, p'nin yanlış olduğu durumda q'nun yanlış olmasıyla ilgilidir. Algoritmadaki tam mantık şöyledir: Eğer p doğruysa q doğrudur. Eğer p yanlışsa, q'nun yanlış olması gerekir (yani "Giriş Reddedildi" mesajı gösterilir).

Algoritmada daha net ifade etmek gerekirse:

Eğer (yaş > 18) ise "Giriş İzin Verildi" göster. Değilse "Giriş Reddedildi" göster.

Bu, \( p \Rightarrow q \) yapısının bir uygulamasıdır.

"Ancak ve ancak" ( \( \Leftrightarrow \) ) bağlacı, iki önermenin de aynı doğruluk değerine sahip olması durumunda doğru olan bir bağlaçtır. Yani, iki önerme de doğru olmalı ya da ikisi de yanlış olmalıdır. ⚖️

Verilen önermeler:

• p: "Öğrenci matematik sınavından 80 puan aldı." (Bu önerme doğrudur.) ✅
• q: "Öğrenci matematik sınavından geçti."

Şimdi q önermesini düşünelim. Eğer bir öğrenci 80 puan aldıysa, genellikle sınavdan geçmiştir. Bu durumda q önermesi de doğrudur. ✅

Bu durumda \( p \Leftrightarrow q \) önermesi şu şekilde olur:

\( p \Leftrightarrow q \equiv 1 \Leftrightarrow 1 \)

Her iki önerme de doğru olduğu için, \( p \Leftrightarrow q \) önermesi doğrudur. Bu, "Öğrenci matematik sınavından 80 puan aldıysa ve ancak o zaman geçti" şeklinde yorumlanabilir (eğer geçme notu 80 ve üzeriyse).

Eğer geçme notu 80'den düşük olsaydı ve öğrenci 80 aldıysa, p doğru ama q yanlış olabilirdi. Bu durumda \( p \Leftrightarrow q \) yanlış olurdu.

Soruda, 80 puanın geçmek için yeterli olduğu varsayılırsa, \( p \Leftrightarrow q \) doğru bir ifadedir.

Bu senaryoyu algoritmik düşünceyle ve mantık kurallarıyla ifade edelim. Öncelikle önermelerimizi tanımlayalım: 📱

• p: "Telefonun fiyatı 5000 TL'den azdır."
• q: "Telefonun rengi mavidir."

Kampanyanın geçerli olması için her iki koşulun da sağlanması gerektiği belirtilmiştir. Bu durum, "ve" ( \( \land \) ) bağlacı ile ifade edilir. 💯

Kampanyanın geçerli olması için gerekli olan önerme şudur:

\( p \land q \)

Yani, "Telefonun fiyatı 5000 TL'den azdır ve telefonun rengi mavidir." önermesi doğru ise kampanya geçerlidir.

Eğer kampanyanın geçerli olması için en az bir koşulun sağlanması gerekseydi, "veya" ( \( \lor \) ) bağlacını kullanırdık.

Bu örnekte, "her" ( \( \forall \) ) veya "bazı" ( \( \exists \) ) gibi niceleyiciler doğrudan kullanılmamıştır, ancak bu koşullar belirli bir telefon modeli için geçerli olacağından, örtük olarak o telefon kümesi üzerinde niceleme yapıldığı düşünülebilir.

Bu durum, günlük hayatta sıkça karşılaştığımız karar verme mekanizmalarını yansıtır. Mantık kurallarıyla bu durumu netleştirelim. 🚌

Öncelikle önermelerimizi tanımlayalım:

• p: "Öğrenci velisinden izin aldı."
• q: "Öğrencinin sınav not ortalaması en az 70."

Soruda belirtilen kurala göre, öğrencinin geziye katılabilmesi için her iki şartı da sağlaması gerekmektedir. Bu, "ve" ( \( \land \) ) bağlacı ile ifade edilir. 👍

Öğrencinin geziye katılabilme koşulu şu şekildedir:

\( p \land q \)

Bu ifade şu anlama gelir: "Öğrenci velisinden izin aldı ve öğrencinin sınav not ortalaması en az 70'tir." Eğer bu bileşik önerme doğru ise, öğrenci geziye katılabilir. ✅

Eğer soruda "en az biri yerine gelirse geziye katılamaz" ifadesi, "katılabilmesi için her ikisi de gereklidir" şeklinde yorumlanıyorsa, yukarıdaki \( p \land q \) yapısı doğrudur.

Eğer "en az biri yerine gelirse geziye katılamaz" ifadesi, "eğer p yanlışsa veya q yanlışsa geziye katılamaz" şeklinde algılanırsa, bu da \( \neg p \lor \neg q \) ifadesine denktir ve De Morgan kurallarına göre \( \neg (p \land q) \) ile aynıdır. Yani, \( p \land q \) doğru değilse geziye katılamaz.

Bu problemi adım adım mantık ve matematiksel ifadelerle çözelim. 🧠

Öncelikle puan hesaplama formülünü ve başarı koşulunu mantıksal önermelerle ifade edelim:

• Önce puanı hesaplayan ifadeyi ele alalım: \( (x \times 4) - (y \times 1) \).
• Başarı koşulu, bu puanın 70'ten büyük veya eşit olmasıdır: \( (x \times 4) - (y \times 1) \ge 70 \).

Şimdi verilen önermeleri ve bu koşulu birleştirelim:

p: "Öğrencinin doğru cevap sayısı \( x \)'tir." (Bu önerme, \( x \) değerinin doğruluğunu varsayar.)

q: "Öğrencinin yanlış cevap sayısı \( y \)'dir." (Bu önerme, \( y \) değerinin doğruluğunu varsayar.)

r: "Öğrencinin puanı en az 70'tir." Bu önermenin doğruluğu, yukarıdaki puan hesaplamasına bağlıdır.

Öğrencinin başarılı sayılması için, hem doğru ve yanlış cevap sayılarının belirli olması (p ve q'nun doğruluğu), hem de bu sayılarla hesaplanan puanın en az 70 olması gerekir. Bu, "ve" ( \( \land \) ) bağlacı ile ifade edilir.

Ancak, r önermesi zaten puanın en az 70 olduğunu belirttiği için, \( p \land q \land r \) şeklinde bir ifade, \( x \) ve \( y \) değerleri verildiğinde r'nin doğruluğunu kontrol etmek için kullanılabilir.

Daha doğrudan bir ifadeyle, öğrencinin başarılı olması için gereken koşul şudur:

(\( x \times 4 \)) - (\( y \times 1 \)) \( \ge 70 \)

Bu eşitsizliğin doğru olması, öğrencinin başarılı olması için yeterli ve gereklidir. Eğer bu eşitsizlik doğruysa, r önermesi doğrudur.

Dolayısıyla, öğrencinin başarılı olması durumu, doğrudan bu matematiksel koşul ile ifade edilir.

Eğer önermeler üzerinden gitmek istersek:

Öğrencinin başarılı olması için gerekli koşul: \( p \land q \land \text{((hesaplanan puan)} \ge 70\text{)} \)

Bu, \( p \land q \) doğru olduğunda, \( (x \times 4) - (y \times 1) \ge 70 \) koşulunun da doğru olması gerektiğini ifade eder.

Bu hata ayıklama sürecini adım adım mantıksal ifadelerle kuralım. 🛠️

Öncelikle önermelerimizi tanımlayalım:

• k: "Hata kritiktir."
• a: "Hata acildir."

Şimdi bu önermelere dayanarak adımları mantık bağlaçlarıyla yazalım:

1. Eğer hata kritik ise, hemen düzeltilmelidir.
   Bu ifadeyi şöyle yazabiliriz: \( k \Rightarrow \text{Hemen Düzelt} \).
2. Eğer hata kritik değilse, ancak acil ise, en kısa sürede düzeltilmelidir.
   Hata kritik değilse demek, \( \neg k \) demektir. Hata acil ise de \( a \) demektir. Her ikisi de doğru ise (yani \( \neg k \land a \)), o zaman en kısa sürede düzeltilmelidir. Bu adımı şöyle ifade edebiliriz: \( (\neg k \land a) \Rightarrow \text{En Kısa Sürede Düzelt} \).
3. Eğer hata hem kritik değil hem de acil değilse, bir sonraki sürümde düzeltilmek üzere planlanmalıdır.
   Hata hem kritik değil (\( \neg k \)) hem de acil değil (\( \neg a \)) ise, bu \( \neg k \land \neg a \) ile ifade edilir. Bu durumda planlama yapılır: \( (\neg k \land \neg a) \Rightarrow \text{Sonraki Sürümde Planla} \).

Bu adımlar, bir karar ağacının mantıksal karşılığıdır ve yazılım geliştirme süreçlerinde yaygın olarak kullanılır. ✅