📝 9. Sınıf Matematik: Algoritmik yapılar içerisindeki mantık bağlaçları ve nicelikler Ders Notu
Algoritmik Yapılar İçerisindeki Mantık Bağlaçları ve Nicelikler
Bu dersimizde, bilgisayar bilimlerinin temelini oluşturan algoritmik yapıların vazgeçilmez bir parçası olan mantık bağlaçlarını ve niceleyicileri inceleyeceğiz. Algoritmalar, belirli bir problemi çözmek veya bir görevi yerine getirmek için izlenen adımlar dizisidir. Bu adımların doğru bir şekilde tasarlanabilmesi için mantıksal ifadelerin anlaşılması büyük önem taşı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. 9. sınıf müfredatında temel olarak üç ana mantık bağlacı yer alır:
1. VE (∧) Bağlacı
İki önermenin "VE" bağlacı ile birleştirilmesi sonucunda oluşan yeni önermenin doğru olabilmesi için, her iki önermenin de doğru olması gerekir. Diğer tüm durumlarda sonuç yanlıştır.
- Örnek: "Bugün hava güneşli" (p) ve "Bugün tatil" (q) önermeleri verilsin. "Bugün hava güneşli VE bugün tatil" önermesi ancak her iki durum da aynı anda gerçekleşirse doğrudur.
Doğruluk tablosu:
| p | q | p ∧ q |
|---|---|---|
| Doğru | Doğru | Doğru |
| Doğru | Yanlış | Yanlış |
| Yanlış | Doğru | Yanlış |
| Yanlış | Yanlış | Yanlış |
2. VEYA (∨) Bağlacı
"VEYA" bağlacı ile birleştirilen önermenin doğru olabilmesi için, önermelerden en az birinin doğru olması yeterlidir. Her iki önerme de yanlış ise sonuç yanlıştır.
- Örnek: "Sınavdan 80 aldım" (p) veya "Sınavdan 90 aldım" (q) önermeleri verilsin. Bu iki önermeden en az biri doğru ise, "Sınavdan 80 VEYA 90 aldım" önermesi doğrudur.
Doğruluk tablosu:
| p | q | p ∨ q |
|---|---|---|
| Doğru | Doğru | Doğru |
| Doğru | Yanlış | Doğru |
| Yanlış | Doğru | Doğru |
| Yanlış | Yanlış | Yanlış |
3. DEĞİL (¬) Bağlacı (Olumsuzlama)
Bir önermenin "DEĞİL"i, o önermenin doğruluk değerini tersine çevirir. Eğer önerme doğru ise, değili yanlıştır; eğer önerme yanlış ise, değili doğrudur.
- Örnek: "Ankara Türkiye'nin başkentidir" (p) önermesi doğrudur. "Ankara Türkiye'nin başkenti değildir" (¬p) önermesi ise yanlıştır.
Doğruluk tablosu:
| p | ¬p |
|---|---|
| Doğru | Yanlış |
| Yanlış | Doğru |
Nicelikler (Niceleyiciler)
Niceleyiciler, bir küme içerisindeki elemanların bir özelliği taşıyıp taşımadığını ifade etmek için kullanılır. Algoritmik düşüncede, belirli koşulları sağlayan elemanları bulmak veya kontrol etmek için bu kavramlar önemlidir.
1. Evrensel Niceleyici (∀) - "Her", "Bütün"
Bu niceleyici, bir kümedeki tüm elemanların belirli bir özelliği taşıdığını belirtir.
- Örnek: Bir sınıftaki tüm öğrencilerin adı 'Ali'dir. (Bu ifade genellikle yanlıştır, çünkü sınıfta farklı isimlerde öğrenciler de olabilir.)
- Matematiksel Gösterim: \( \forall x \in S, P(x) \) (S kümesindeki her x elemanı için P(x) özelliği doğrudur.)
2. Varoluşsal Niceleyici (∃) - "En az bir", "Bazı"
Bu niceleyici, bir kümede en az bir elemanın belirli bir özelliği taşıdığını belirtir.
- Örnek: Sınıfta en az bir öğrencinin adı 'Ayşe'dir. (Bu ifade, sınıfta en az bir Ayşe varsa doğrudur.)
- Matematiksel Gösterim: \( \exists x \in S, P(x) \) (S kümesinde P(x) özelliğini sağlayan en az bir x elemanı vardır.)
Günlük Yaşamdan Örnekler
- VE (∧): "Bugün hem okula gideceğim hem de ödevimi yapacağım." Bu cümlenin doğru olması için iki eylemin de gerçekleşmesi gerekir.
- VEYA (∨): "Akşam yemeğinde tavuk veya balık yiyebiliriz." Bu ifade, tavuk yenirse de balık yenirse de doğru kabul edilir.
- Evrensel Niceleyici (∀): "Bu parktaki her ağaç yeşildir." Eğer parktaki tüm ağaçlar yeşilse bu ifade doğrudur.
- Varoluşsal Niceleyici (∃): "Kütüphanede en az bir kitap buldum." Eğer kütüphanede bir veya daha fazla kitap varsa bu ifade doğrudur.
Çözümlü Örnek
Aşağıdaki önermelerin doğruluk değerlerini inceleyiniz:
p: "2 çift sayıdır." (Doğru)
q: "3 tek sayıdır." (Doğru)
r: "5 asal sayı değildir." (Yanlış)
- \( p \land q \): "2 çift sayıdır VE 3 tek sayıdır." Her iki önerme de doğru olduğu için \( p \land q \) doğrudur.
- \( p \lor r \): "2 çift sayıdır VEYA 5 asal sayı değildir." p doğru olduğu için \( p \lor r \) doğrudur.
- \( \neg q \): "3 tek sayı değildir." q doğru olduğu için \( \neg q \) yanlıştır.
- \( \exists x \in \{1, 2, 3\}, x > 2 \): "1, 2, 3 kümesinde 2'den büyük en az bir eleman vardır." Bu kümede 3 sayısı 2'den büyük olduğu için bu ifade doğrudur.
- \( \forall x \in \{1, 2, 3\}, x \text{ tektir} \): "1, 2, 3 kümesindeki her eleman tektir." Bu kümedeki 2 sayısı tek olmadığı için bu ifade yanlıştır.