Mantık Bağlaçları ve Niceleyicilerin Algoritmik Problemlerde Kullanımı

Konu Anlatımı

Bu derste ne öğreneceğiz?

Bu derste Mantık Bağlaçları ve Niceleyicilerin Algoritmik Problemlerde Kullanımı konusunu önce kuralıyla, sonra sayı üstünde uygulamasıyla göreceğiz. Her adımda "neden böyle yapıyoruz" sorusunu cevaplamak asıl hedeftir; kuralı ezberleyip bırakmak işe yaramaz.

Dersten sonra şunları yapabiliyor olmanız gerekiyor:

• Kazanım 1: Bir problemin koşulunu 've', 'veya', 'değil' bağlaçlarıyla mantıksal biçime dönüştürür.
• Kazanım 2: Akış şemasındaki karar sembollerini mantık bağlaçlarıyla ilişkilendirerek yorumlar.
• Kazanım 3: Koşul dizisini ve, veya ile birleştirerek birleşik karar yapısı kurar ve akışı çizer.
• Kazanım 4: Niceleyicili önermeleri algoritma gereksinimi olarak yorumlar ve evrensel ya da varoluşsal ayrımını yapar.
• Kazanım 5: Bir programın doğru çalışıp çalışmadığını örnek girdilerle elle sınayarak denetler.
• Kazanım 6: Günlük hayattan bir uyulması gereken kuralı algoritma adımlarına ve mantık ifadelerine çevirir.

Ön bilgi: bundan önce gördüğümüz

Bu derste Mantık Bağlaçları ve Niceleyiciler konusunu hatırlayarak ilerliyoruz. İki konu arasındaki bağı kurmak, ayrı ayrı ezberlemekten daha kalıcı bir öğrenme sağlar.

• Mantık Bağlaçları ve Niceleyiciler — bu derste kullandığımız temel kavram buradan geliyor.
• Algoritma Temelli Problemler — ön bilgi: bu başlıktaki tanımları hatırlamamız gerekiyor.

Algoritma Nedir ve Koşul Neden Önemlidir?

Algoritma, bir problemi çözmek için izlenen sınırlı, sıralı ve belirsizliğe yer bırakmayan adımlar dizisidir. Üç özelliğin her biri eksik olduğunda algoritma geçerli sayılmaz. Sonlu olmayan bir adım dizisi hiçbir zaman sonuç vermez; sıralı olmayan bir dizi ise aynı girdide farklı sonuçlar üretebilir. Bu yüzden iyi bir algoritmanın ilk şartı, her adımının ne yapacağının açıkça yazılabilmesidir.

Bir algoritmada karar verme adımları koşul cümlesiyle ifade edilir. Koşul ya doğrudur ya yanlıştır; üçüncü bir durum yoktur. Bu ikili yapı, algoritmadaki mantık bağlaçlarının neden «ve», «veya» ve «değil» sözcükleriyle kurulduğunu açıklar. Koşul doğruysa bir yol, yanlışsa başka bir yol izlenir.

Mantık Bağlaçlarının Algoritmadaki Karşılıkları

Ve bağlacı, bir koşulun içinde birden çok isteğin aynı anda sağlanmasını ister. Programlamada bu istek çoğu zaman mantıksal çarpma işaretine karşılık gelir; her iki koşul da sağlanmazsa program o adımı atlar. Veya bağlacı ise isteklerden en az birinin sağlanmasını yeterli görür ve mantıksal toplama işaretiyle gösterilir. Değil bağlacı bir koşulun sonucunu tersine çevirerek kararın yönünü değiştirir.

Bu karşılıklar, programlama dilinde sıklıkla karşılaşılan iki temel yapıyı açıklar. ve bağlacıyla kurulan yapı mantıksal ve, veya bağlacıyla kurulan yapı mantıksal veya olarak adlandırılır. Bir koşulun tersine çevrilmesi ise mantıksal değil işlemidir.

Koşul Çevirisi ve Doğru İfade Etme

Bir kuralı algoritma koşuluna çevirirken iki adım izlenir. Önce cümlede geçen olumsuzluk ve koşul birliği belirlenir, sonra bu yapı mantık diline aktarılır. Türkçedeki «... veya...» ifadesi mantıktaki veya bağlacına, «... ama...» ifadesi ise ve bağlacına karşılık gelir. «... değilse...» yapısı ise koşulun değilinin alındığını gösterir.

Sınavlarda en sık yapılan hata, cümlede yalnızca bir kez geçen olumsuzluğun mantık diline iki kez aktarılmasıdır. «Öğrenci numarası 25'ten büyük değilse» cümlesinde olumsuzluk sayıdan önce yer alır ve koşul «numara 25'ten büyüktür» biçiminde çevrilir. Buna karşılık «Öğrenci numarası 25'ten küçük değildir» cümlesinde olumsuzluk küçüklük yönündedir ve koşul «numara 25'ten büyüktür» biçimine çevrilir.

Niceleyicilerin Algoritmik Anlamı

Niceleyicili önermeler, algoritmanın bütün veriler üzerindeki davranışını anlatır. «Bütün öğrenciler notlarını teslim etti.» ifadesi evrensel niceleyici taşır ve her öğrenci için kontrolün yapıldığını bildirir. Bu tür bir gereksinimi karşılayan algoritma, döngü içinde bütün kayıtları tek tek denetler ve koşul sağlanmadığında hata iletisi üretir.

«Bazı öğrenciler notlarını teslim etmedi.» ifadesi ise varoluşsal niceleyicidir ve yalnızca en az bir kaydın koşulu sağlamadığını söyler. Bu koşulu denetleyen algoritma, aramayı ilk bulguyla bitirebilir; çünkü sonrasında devam etmenin sonucu değiştirmez. Bu ayrım, döngünün bütün verileri gezmesi gerekip gerekmediğini belirler.

• Evrensel gereksinim: Her kayıt kontrol edilmeden işlem tamamlanmış sayılmaz.
• Varoluşsal gereksinim: Tek bir uygun kayıt bulunduğunda arama durdurulabilir.
• Yanlışı gereksinim: Hiçbir kayıt koşulu sağlamıyorsa arama sonuna kadar gider.

Birleşik Karar Yapısı Kurma

Birden çok koşul içeren problemlerde karar yapısı iç içe geçebilir. En temiz yöntem, koşulları önce ayrı ayrı yazıp her birini mantık diline çevirmek, sonra bunları bağlaçlarla birleştirmektir. Bu sıralama, parantez hatalarının büyük ölçüde önüne geçer.

Örneğin bir kütüphane kuralı şöyle olabilir: kullanıcının öğrenci kartı vardır, ödünç alacağı kitap sayısı üçü geçmez ve hesabında gecikme borcu yoktur. Bu üç koşulun ve ile birleştirilmesi, kitap ödünç alınabilmesi için hepsinin birden sağlanması gerektiğini anlatır. Koşullardan yalnızca biri sağlanmasa bile algoritma ödünç alma adımına geçmez.

Örnek Soru ve Çözümü

Örnek: «Bir öğrenci derse, devamsızlığı %20'den az olduğu ve notu 50'den yüksek olduğu takdirde katılabilir.» kuralını mantık diline çevirip karar yapısını kurunuz.

Çözüm: Üç koşul sırasıyla yazılır. p: «Öğrenci devamsızlığı %20'den azdır», q: «Öğrencinin notu 50'den yüksektir», r: «Öğrenci takdir almıştır». Kuralda bu koşullar «ve» bağlacıyla birleştirilmiştir; dolayısıyla derse katılma koşulu p ∧ q ∧ r olur. Algoritmada önce devamsızlık denetlenir, devamsızlık koşulu sağlanmıyorsa diğer iki denetime geçmeden sonuç bildirilir. Koşul sağlanırsa not denetlenir, o da sağlanırsa takdir durumu denetlenir. Üçü birden sağlandığında derse katılma sonucu üretilir. Bu çözümde kabul koşulunun tamamı p ∧ q ∧ r olarak belirlenir.

Sık Yapılan Hatalar

En yaygın hata, cümlede «ve» bağlacı olmamasına rağmen koşulları «ve» ile birleştirmektir. İkinci hata, olumsuz cümlelerde olumsuzluğun yönünü ters çevirmemektir. Üçüncü hata, karar sembolünden sonra yalnızca evet yolunu yazıp hayır yolunu atlamaktır. Dördüncü hata, döngüde evrensel koşul aranırken ilk uygun kayıtta durmaktır. Son olarak «her» ile «bazı» niceleyicilerini birbirine dönüştürmek sık görülen bir yanılgıdır.

Özet

Algoritma, sınırlı ve sıralı adımlar dizisidir ve karar adımları koşul cümleleriyle belirlenir. Mantık bağlaçları algoritmada doğrudan karşılık bulur: ve bağlacı iki koşulun birlikte sağlanmasını, veya bağlacı en az birinin sağlanmasını, değil ise koşulun tersini ifade eder. Bir kuralı koşula çevirirken olumsuzluğun yönüne dikkat etmek gerekir. Niceleyiciler algoritmin kapsamını belirler; evrensel niceleyici bütün verilerin denetlenmesini, varoluşsal niceleyici ise tek bir uygun kaydın bulunmasıyla yetinmeyi gerektirir.

Günlük hayattan bir uygulama

Konuyu pekiştirmek için günlük hayattan bir uygulamaya bakmak gerekir. Aşağıdaki görev, Mantık Bağlaçları ve Niceleyicilerin Algoritmik Problemlerde Kullanımı bilgisini gerçek bir işin içinde kullandırmak için hazırlandı; çözerken hangi adımı nerede kullandığımızı not etmek faydalıdır.

Uygulama sorusu: Kütüphaneye yeni üye kaydı alan bir algoritmanın kuralları şöyledir: başvuru yaşının 18'den küçük olmaması, adres bilgisinin eksiksiz girilmesi ve üyelik ücretinin ödenmiş olması gerekmektedir. Bu kuralları mantık koşuluna dönüştürerek algoritmanın adımlarını yazınız ve üyelik koşulunun sağlanmaması durumunda ne olacağını açıklayınız.

Bu görev için 20 puan dağıtılmıştır; puanlama anahtarı, cevabın hangi adımlarla gösterilmesi gerektiğini ayrıntılı biçimde söyler. Puanlamada işlem sırasının ve sonuç cümlenin ayrı ayrı sayıldığına dikkat et.

Hızlı hatırlatma

• Koşulu çevirmeden önce cümlede kaç tane olumsuzluk olduğunu sayın; sayı, çeviride kaç işlem yapılacağını gösterir.
• Birleşik koşullarda önce her koşulu tek başına yazın, sonra bağlaçları yerleştirin; böylece parantez unutulmaz.
• Akış şeması çizerken her karar sembolü için iki çıkış çizgisi bulunduğunu kontrol edin.
• Algoritmayı denetlemek için iki farklı girdi seçip çıktıları yazın; koşul her iki durumda da beklenen sonucu veriyorsa kural doğru kurgulanmıştır.
• Evrensel koşul gerektiren problemlerde sayaç kullanarak kaç kaydın denetlendiğini raporlamak, eksik kalan kayıtları fark etmenizi sağlar.

Adım adım çözülmüş örnekler

İki örnek üzerinde çalışacağız. İlk örnek kuralın temel kullanımını, ikinci örnek ise kuralın zorlayıcı bir durumunu gösterir. Adımları kendin yazmayı dene; ikinci adımda nerede durduğunu görmek, sınavda zaman kazanır.

Örnek 1: Günlük Kuralın Koşula Çevrilmesi

Soru: «Bir öğrenci notu 50'den yüksekse ve devamsızlığı %10'dan azsa sınava girer.» kuralını mantık diline çeviriniz.

1. Adım 1: Cümledeki iki koşulu ayrı ayrı yazın: not 50'den yüksektir ve devamsızlık %10'dan azdır.
2. Adım 2: İlk koşulu p, ikinci koşulu q olarak adlandırın.
3. Adım 3: Cümledeki bağlaç sözcüğü «ve» olduğu için iki koşul «ve» ile birleştirilir.
4. Adım 4: Bileşik koşulu p ∧ q biçiminde yazın.
5. Adım 5: Her iki koşul sağlanmadan sınava girme sonucu üretilmez.

Cevap: Sınava girme koşulu p ∧ q biçimindedir

Bu örnekte adım sayısını not edin: kural her zaman aynı sayıda işlemle değil, kazanılması gereken bilgiye göre çözülür.

Örnek 2: Olumsuz Cümlenin Çevrilmesi

Soru: «Öğrenci numarası 25'ten büyük değilse kayıt yapılamaz.» cümlesini mantık diline çevirip koşulun karşıtını belirleyiniz.

1. Adım 1: Cümlede olumsuzluk «değilse» sözcüğüyle karşılanmaktadır.
2. Adım 2: Olumsuzluğun yönü büyüklük yönündedir; koşul «numara 25'ten büyüktür» biçimine çevrilir.
3. Adım 3: Bu koşulu p ile gösterin; cümle p ⇒ (kayıt yapılamaz) biçiminde okunur.
4. Adım 4: Karşıt olan olumlu hâl «numara 25'ten büyüktür» ve karşılığında kayıt yapılır denir.
5. Adım 5: Karşıt önerme p ⇒ (kayıt yapılır) biçiminde yazılır.

Cevap: Orijinal koşul: numara 25'ten büyüktür ise kayıt yapılamaz; karşıtı: numara 25'ten büyüktür ise kayıt yapılır

Kavram karşılaştırma tablosu

Bu derste geçen terimler birbirine yakın durur ve sınavda karıştırılır. Aşağıdaki tabloda her terimin anlamı ve sık karıştırılan karşılığı yan yana verilmiştir.

Kural, formül ve ölçü tablosu

Aşağıdaki tablo bu konudaki kuralları tek bakışta toplar. Karar verirken önce bu tabloya bakmak, kuralı hatırlamakta işe yarar.

Sık Yapılan Hatalar

Hata yapmamak için önce hatanın nereden geldiğini bilmek gerekir. Aşağıdaki listede her hata için yanlış giden yol ve doğru yol birlikte verilmiştir.

• Cümlede «ve» bağlacı yokken koşulları «ve» ile birleştirmek: «Sınavı geçmek için notun 50'den yüksek olması yeterlidir.» cümlesinde tek koşul vardır. Burada iki koşul uydurmak, algoritmanın gerçek kuralını değiştirir ve sonucu yanlış gösterir.
• Olumsuzluğu çevirirken iki kez olumsuzlaştırmak: «x 5'ten büyük değildir» cümlesi doğru çeviriyle «x ≤ 5» olur. «x > 5 değil» biçiminde bir çeviri yapılırsa sonuç bütünden değişir ve hatalı bir algoritma elde edilir.
• Karar adımından sonra yalnızca evet yolunu yazmak: Akış şemasında karar sembolünden iki çıkış çıkar. Hayır yolu yazılmazsa koşul sağlanmadığında program ne yapacağını bilemez ve akış eksik kalır.
• Evrensel koşulda döngüyü ilk uygun kayıtta bitirmek: «Bütün öğrenciler ders çalıştı» kuralı, ilk öğrencide arama yapıp durmayı gerektirmez. Döngü ancak bütün kayıtlar tarandıktan sonra sona ermelidir.
• «Her» ile «bazı» niceleyicilerini birbirine dönüştürmek: Evrensel niceleyici bütün nesneleri kapsarken varoluşsal niceleyici yalnızca en az bir nesneyi gerektirir. Bu ikisinin yer değiştirmesi, denetimin kapsamını tamamen değiştirir.
• Karşıt önermeyi tersi önermeyle karıştırmak: p ⇒ q ifadesinin karşıtı ¬p ⇒ ¬q, tersi ise q ⇒ p olur. Karşıtta iki bileşen de değillenir; ters yalnızca bileşenlerin yerini değiştirir.

Kısaca özet

Kısaca: Algoritma, sınırlı ve sıralı adımlar dizisidir; karar adımları koşul cümleleriyle kurulur. Bir kuralı koşula çevirirken olumsuzluğun yönüne dikkat etmek ve parantez önceliğini korumak gerekir. Niceleyiciler algoritmin kapsamını belirler: evrensel niceleyici bütün verilerin denetlenmesini, varoluşsal niceleyici ise tek bir uygun kaydın bu…

Derste gördüğümüz ana fikirler şunlar:

• Algoritmanın üç temel özelliği sınırlı, sıralı ve belirsizlik içermemesidir; biri eksikse algoritma geçerli değildir.
• Koşul ya doğrudur ya yanlıştır; bu ikili yapı, karar sembolünün iki çıkışlı olmasını zorunlu kılar.
• «Ama» sözcüğü Türkçede «ve» bağlacına, «ya da» sözcüğü ise «veya» bağlacına karşılık gelir.
• Olumsuz cümle çevrilirken olumsuzluğun yönü korunmalı; iki kez olumsuzlaştırma yapılmamalıdır.
• Evrensel niceleyicili bir koşul için bütün kayıtlar denetlenmeli, döngü ilk uygun kayıtta bırakılmamalıdır.
• Bileşik koşullarda önce ayrı ayrı çeviri yapmak, sonra bağlaçlarla birleştirmek parantez hatasını önler.

Kendin dene: üç soru

Bu üç soru konunun özetidir. Çözmeden önce her biri için hangi kuralı kullanıyorum diye düşün; cevap anahtarı sonda verilmiştir.

1. «Bütün öğrenciler projeyi teslim etti.» koşulunu doğrulayan algoritmada döngü nasıl sonlandırılmalıdır? (Şıklar: İlk projeyi teslim eden öğrencide · Bütün öğrenciler teslim etmemişse · Bütün öğrenciler denetlendikten sonra · Öğrenci sayısı bilinmediğinde)
2. Programlamada «ve» bağlacıyla kurulan yapıya ne ad verilir? (Şıklar: Mantıksal veya · Mantıksal ve · Mantıksal değil · Koşul atlaması)
3. «Öğrenci notu 50'den yüksekse ve devamsızlığı %10'dan azsa sınava girer.» kuralının koşulu nasıl ifade edilir? (Şıklar: p ∨ q · p ∧ q · ¬p ∧ ¬q · p ⇒ ¬q)

Cevap anahtarı: 1) Bütün öğrenciler denetlendikten sonra — Koşul evrensel olduğu için bütün öğrencilerin tek tek denetlenmesi gerekir. İlk teslim eden öğrencide durulursa koşulun sağlanıp sağlanmadığı anlaşılamaz.

2) Mantıksal ve — İki koşulun birlikte sağlanmasını gerektiren yapı mantıksal ve olarak adlandırılır. En az bir koşulun sağlanması yeterliyse mantıksal veya denir.

3) p ∧ q — Cümlede iki koşul «ve» sözcüğüyle birleştirilmiştir. Bu nedenle iki koşulun da sağlanması gerekir ve koşul p ∧ q biçiminde yazılır.

İlgili konular

Bu konuyu öğrenmek şu başlıkları da kolaylaştırır. Aynı üniteden ve sonraki üniteden ikişer konu seçtik:

• Kümelerde Temel Kavramlar — sonraki ünitenin başlangıcı; konuyu genişletir.
• Küme İşlemleri ve Kartezyen Çarpım — sonraki ünitenin başlangıcı; konuyu genişletir.
• İşlem Özellikleri ve Cebirsel İfadeleme — sonraki ünitenin başlangıcı; konuyu genişletir.
• Sayı Kümeleri ve İşlem Özellikleri — sonraki ünitenin başlangıcı; konuyu genişletir.

Bu anlatım hakkında

Mantık Bağlaçları ve Niceleyicilerin Algoritmik Problemlerde Kullanımı başlığındaki her sayısal iddia elle doğrulanabilir biçimde yazıldı: soruda verilen değer, uygulanan kural ve bulunan sonuç yan yana durur. Metin özgün yazılmıştır, başka bir kaynaktan alıntı yapılmamıştır.

Ayrıca derste şu açık uçlu görevler yer alıyor; her biri puanlıdır ve kendi cevabını yazmanı ister:

• Kütüphaneye yeni üye kaydı alan bir algoritmanın kuralları şöyledir: başvuru yaşının 18'den küçük olmaması, adres bilgisinin eksiksiz girilmesi ve üyelik ücretinin ödenmiş olması gerekmektedir. Bu ku… (20 puan)
• Bir uygulamada kullanıcı adı beş karakterden uzun olmalı, parola en az sekiz karakter içermeli ve hesap daha önce açılmamış olmalıdır. Bu üç koşulu mantık dilinde yazınız; ardından hangi durumlarda k… (20 puan)
• Bir veri tabanında arama yapan bir algoritma, «kayıtlardan en az biri 2025 yılına aittir» koşulunu doğrulamakla görevlidir. Bu algoritmada döngü hangi durumda sonlandırılabilir ve hangi durumda bütün… (10 puan)

İleri Örnek

Daha ileri bir uygulama:

Soru: «x 10'dan büyükse 3x + 1, değilse 2x + 1 yaz» algoritması x = 5 girdisiyle çalıştırıldığında çıktıyı bulunuz.

1. Adım 1: Algoritmanın girdisi x = 5 olarak alınır.
2. Adım 2: Karar adımında ölçüt «x 10'dan büyüktür» biçiminde yazılır.
3. Adım 3: 5, 10'dan büyük olmadığı için hayır yolu izlenir.
4. Adım 4: Hayır yolunda 2x + 1 işlemi uygulanır.
5. Adım 5: Hesaplama sonucu çıktı olarak yazılır ve denetim tamamlanır.

Sonuç/cevap: Çıktı 11 olur