Algoritmik yapılar içinde mantık bağlaçları ve nicelikler Ders Notu

Algoritmik Yapılar İçinde Mantık Bağlaçları ve Nicelikler

Bu bölümde, bilgisayar bilimlerinin temelini oluşturan algoritmik yapıların olmazsa olmazı olan mantık bağlaçlarını ve nicelikleri 9. sınıf müfredatı çerçevesinde öğreneceğiz. Algoritmalar, belirli bir problemi çözmek veya bir görevi yerine getirmek için izlenen adımlar dizisidir. Bu adımların doğru ve anlaşılır olması için mantıksal ifadeler ve bu ifadeler arasındaki ilişkileri kuran bağlaçlar büyük önem taşır.

1. Mantık Bağlaçları (Ve, Veya, Değil)

Mantık bağlaçları, birden fazla önermeyi birleştirerek yeni önermeler oluşturmamızı sağlar. En temel mantık bağlaçları şunlardır:

• "Ve" Bağlacı (∧): İki önermenin de doğru olduğu durumda sonucun doğru olduğu bağlaçtır.
• "Veya" Bağlacı (∨): İki önermeden en az birinin doğru olduğu durumda sonucun doğru olduğu bağlaçtır.
• "Değil" Bağlacı (¬): Bir önermenin doğruluk değerini tersine çeviren bağlaçtır.

Örnekler:

Aşağıdaki önermeleri ele alalım:

• P: "Bugün hava güneşli."
• Q: "Bugün dışarıda oynayabilirim."

"Ve" bağlacı ile: P ∧ Q önermesi "Bugün hava güneşli VE bugün dışarıda oynayabilirim." anlamına gelir. Bu önermenin doğru olması için hem P'nin hem de Q'nun doğru olması gerekir. Yani hava güneşli olmalı VE dışarıda oynayabilmeliyiz.

"Veya" bağlacı ile: P ∨ Q önermesi "Bugün hava güneşli VEYA bugün dışarıda oynayabilirim." anlamına gelir. Bu önermenin doğru olması için P'nin doğru olması (hava güneşli), Q'nun doğru olması (dışarıda oynayabilmemiz) veya her ikisinin de doğru olması yeterlidir.

"Değil" bağlacı ile: ¬P önermesi "Bugün hava güneşli DEĞİL." anlamına gelir. Eğer P doğruysa, ¬P yanlıştır; eğer P yanlışsa, ¬P doğrudur.

Doğruluk Tabloları:

Mantık bağlaçlarının doğruluk değerlerini gösteren doğruluk tabloları aşağıdaki gibidir:

P	Q	P ∧ Q	P ∨ Q	¬P
Doğru	Doğru	Doğru	Doğru	Yanlış
Doğru	Yanlış	Yanlış	Doğru	Yanlış
Yanlış	Doğru	Yanlış	Doğru	Doğru
Yanlış	Yanlış	Yanlış	Yanlış	Doğru

2. Nicelikler (Her İçin, Var Olan)

Nicelikler, önermelerin bir küme içindeki elemanlar için geçerli olup olmadığını belirtir. Algoritmik düşüncede, bir koşulun bir grup veri için sağlanıp sağlanmadığını kontrol etmek amacıyla kullanılırlar.

• "Her İçin" Niceleyicisi (∀): Bir kümedeki tüm elemanlar için bir önermenin doğru olduğunu ifade eder.
• "Var Olan" Niceleyicisi (∃): Bir kümede en az bir eleman için bir önermenin doğru olduğunu ifade eder.

Örnekler:

Bir sınıftaki öğrencileri düşünelim. Sınıfta 20 öğrenci olsun.

"Her İçin" niceleyicisi ile: ∀ öğrenci, öğrenci 18 yaşından büyüktür. Bu önerme, sınıftaki 20 öğrencinin tamamının 18 yaşından büyük olduğunu ifade eder.

"Var Olan" niceleyicisi ile: ∃ öğrenci, öğrenci gözlüklüdür. Bu önerme, sınıftaki öğrencilerden en az birinin gözlüklü olduğunu ifade eder. Gözlüklü öğrenci sayısı birden fazla da olabilir.

Günlük Yaşamdan Örnekler:

• "Her İçin": "Her gün spor yapmalısın." (Tüm günler için geçerli.)
• "Var Olan": "Bu kitaplıkta ilgini çekecek bir kitap vardır." (En az bir tane var.)

3. Koşullu İfadeler ve "Ancak ve Ancak" İfadeleri

Algoritmaların akışını kontrol etmek için koşullu ifadeler kullanılır.

• Koşullu İfade (⇒): "Eğer P ise Q" şeklinde okunur. P doğru iken Q'nun yanlış olması durumunda yanlıştır, diğer durumlarda doğrudur.
• "Ancak ve Ancak" İfadesi (⇔): İki önermenin doğruluk değerlerinin aynı olması durumunda doğrudur.

Örnekler:

Koşullu İfade: "Eğer yağmur yağarsa, şemsiye alırım." (P: Yağmur yağar, Q: Şemsiye alırım). Eğer yağmur yağıyor (P doğru) ama şemsiye almazsanız (Q yanlış), bu ifade yanlış olur. Diğer tüm durumlarda (yağmur yağıyor ve şemsiye alıyorum; yağmur yağmıyor ve şemsiye almıyorum; yağmur yağmıyor ama şemsiye alıyorum) ifade doğrudur.

"Ancak ve Ancak" İfadesi: "Bir sayının çift olması ancak ve ancak 2'ye tam bölünebilmesiyle mümkündür." (P: Sayı çifttir, Q: Sayı 2'ye tam bölünür). Bu iki önerme her zaman aynı doğruluk değerine sahiptir.

Bu mantıksal yapılar, karmaşık algoritmaların daha küçük, yönetilebilir ve doğru parçalara ayrılmasına yardımcı olur. Programlama dillerinde bu mantıksal operatörler, kararları ve döngüleri kontrol etmek için kullanılır.