📝 9. Sınıf Matematik: Algoritmik yapılar içerisinde mantık bağlaçları ve niceleyiciler Ders Notu
9. Sınıf Matematik: Algoritmik Yapılar İçerisinde Mantık Bağlaçları ve Niceleyiciler
Bilgisayar bilimlerinin temelini oluşturan algoritmalar, belirli bir problemi çözmek veya bir görevi yerine getirmek için izlenen adımlar dizisidir. Bu adımların doğruluğunu ve etkinliğini sağlamak için mantık devrelerine ve niceleyicilere ihtiyaç duyarız. 9. sınıf müfredatında bu kavramlar, algoritmik düşünme becerilerini geliştirmek amacıyla ele alınır.
Mantık Bağlaçları
Mantık bağlaçları, önermeleri (doğru veya yanlış olabilen ifadeler) birleştirerek daha karmaşık önermeler oluşturmamızı sağlar. Temel mantık bağlaçları şunlardır:
- VE (∧): İki önermenin de doğru olduğu durumda doğru olan bağlaçtır. Örneğin, "Bugün Pazartesi VE hava güneşli." ifadesi, hem Pazartesi ise hem de hava güneşliyse doğrudur.
- VEYA (∨): İki önermeden en az birinin doğru olduğu durumda doğru olan bağlaçtır. Örneğin, "Sınavdan geçmek için Matematik VEYA Fizik dersinden başarılı olmalısın." ifadesi, Matematik dersinden başarılı olursan, Fizik dersinden başarılı olursan veya her ikisinden de başarılı olursan doğrudur.
- DEĞİL (¬): Bir önermenin doğruluk değerini tersine çeviren bağlaçtır. Örneğin, "Bugün Pazartesi değil." ifadesi, "Bugün Pazartesi." önermesi yanlış olduğunda doğrudur.
- İSE (→): Koşullu önerme olarak da bilinir. Birinci önerme doğru iken ikinci önerme yanlış olduğunda yanlış olan, diğer durumlarda doğru olan bağlaçtır. Örneğin, "Eğer yağmur yağarsa, sokağa çıkmam." ifadesi, yağmur yağarken sokağa çıkarsan yanlış olur.
- ANCAK VE ANCAK (↔): İki önermenin doğruluk değerleri aynı olduğunda doğru olan bağlaçtır. Yani, her ikisi de doğruysa veya her ikisi de yanlışsa doğrudur.
Örnek 1:
p: "2 + 2 = 4" (Doğru)
q: "Türkiye'nin başkenti Ankara'dır." (Doğru)
p ∧ q önermesi: "2 + 2 = 4 VE Türkiye'nin başkenti Ankara'dır." Bu önerme doğrudur çünkü hem p hem de q doğrudur.
p ∨ q önermesi: "2 + 2 = 4 VEYA Türkiye'nin başkenti Ankara'dır." Bu önerme de doğrudur çünkü en az bir önerme doğrudur.
¬p önermesi: "2 + 2 = 4 DEĞİL." Bu önerme yanlıştır.
Niceleyiciler
Niceleyiciler, bir küme içerisindeki elemanların sayısıyla ilgili ifadeler kurmamızı sağlar. Matematiksel ifadelerde ve programlamada belirli koşulları sağlayan elemanları belirtmek için kullanılırlar.
- Her (∀): Bir kümedeki tüm elemanlar için geçerli olan bir özelliği belirtir. Örneğin, "∀ x ∈ R, x² ≥ 0" (Her reel sayı x için, x'in karesi sıfırdan büyüktür veya eşittir.)
- Bazı (∃): Bir kümede en az bir eleman için geçerli olan bir özelliği belirtir. Örneğin, "∃ x ∈ Z, x > 5" (Öyle bir tam sayı x vardır ki, x 5'ten büyüktür.)
Örnek 2:
A = {1, 2, 3, 4, 5} kümesini ele alalım.
∀ x ∈ A, x < 6 önermesi: A kümesindeki her eleman 6'dan küçüktür. Bu önerme doğrudur.
∃ x ∈ A, x çift sayıdır önermesi: A kümesinde çift sayı vardır. Bu önerme doğrudur (2 ve 4 çift sayılardır).
∀ x ∈ A, x tek sayıdır önermesi: A kümesindeki her eleman tek sayıdır. Bu önerme yanlıştır (2 ve 4 çift sayılardır).
∃ x ∈ A, x > 10 önermesi: A kümesinde 10'dan büyük bir eleman vardır. Bu önerme yanlıştır.
Bu mantık bağlaçları ve niceleyiciler, algoritmaların akışını kontrol etmek, koşullu ifadeler oluşturmak ve veri kümeleri üzerinde işlem yapmak için temel yapı taşlarıdır. Programlama dillerinde 'if-then-else' yapıları, döngüler (for, while) ve koşullu ifadeler bu mantıksal yapıların somut örnekleridir.
Örnek 3 (Günlük Yaşamdan):
Bir markette indirim kampanyası var: "Eğer 50 TL alışveriş yaparsan VEYA üye kartın varsa, %10 indirim kazanırsın."
Bu ifadeyi mantık bağlaçlarıyla yazalım:
p: "50 TL alışveriş yaptın."
q: "Üye kartın var."
r: "%10 indirim kazandın."
İfade: (p ∨ q) → r
Eğer 50 TL alışveriş yaparsan ama üye kartın yoksa (p doğru, q yanlış), yine de indirim kazanırsın (r doğru). Bu durumda (Doğru ∨ Yanlış) → Doğru yani Doğru → Doğru, bu da doğrudur.
Eğer 50 TL alışveriş yapmazsan ve üye kartın yoksa (p yanlış, q yanlış), ama yine de indirim kazanırsan (r doğru), bu durum mantıksal olarak tutarsız olurdu. Ancak, kural gereği bu durumda indirim kazanılmayacağı varsayılır (r yanlış). Bu durumda (Yanlış ∨ Yanlış) → Yanlış yani Yanlış → Yanlış, bu da doğrudur.
Eğer 50 TL alışveriş yapmazsan ve üye kartın yoksa (p yanlış, q yanlış) ve indirim kazanmazsan (r yanlış), bu durum da doğrudur.