Algoritmalar, bir problemi çözmek veya bir görevi yerine getirmek için adım adım tanımlanan işlemler bütünüdür. Bu adımların doğru şekilde tasarlanabilmesi için mantık bağlaçları ve niceleyiciler kullanılır.
Mantık bağlaçları, algoritmalarda birden fazla koşulu birleştirmek veya değerlendirmek için kullanılır. Temel mantık bağlaçları şunlardır:
Örnek: Eğer (yaş ≥ 18 VE kimlik = true) ise giriş izni ver.
Niceleyiciler, bir küme veya koşul üzerinde genel veya özel ifadeler kurmak için kullanılır. Temel niceleyiciler:
Örnek: ∀x ∈ A, x > 0
(A kümesindeki tüm elemanlar pozitiftir).
Örnek: ∃y ∈ B, y = 10
(B kümesinde en az bir eleman 10'a eşittir).
Bu yapılar, algoritmalarda karar verme ve döngü kontrolü gibi işlemlerde sıkça kullanılır:
Eğer (not hata) VE (sonuç ≥ 50) ise başarılı say.
Tüm öğrenciler (∀) için not hesapla.
1. "Her" ve "bazı" sözcükleri mantıkta ________ olarak adlandırılır.
2. \( p \land q \) ifadesi, \( p \) ve \( q \) önermelerinin ________ bağlacı ile birleştirilmesidir.
3. "Yağmur yağarsa yerler ıslanır." ifadesi ________ bağlacı ile sembolize edilebilir.
4. (__) "Veya" bağlacı
5. (__) "Değil" bağlacı
6. (__) "Her" niceleyicisi
7. (__) "Bazı" niceleyicisi
8. \( \forall x, P(x) \) ifadesi "Bazı x'ler için P(x) doğrudur" anlamına gelir. (D/Y)
9. \( p \Rightarrow q \) ile \( \neg p \lor q \) mantıksal olarak eşdeğerdir. (D/Y)
10. \( \exists x, Q(x) \) ifadesi "En az bir x için Q(x) doğrudur" demektir. (D/Y)
11. \( p \): "Hava sıcak", \( q \): "Klima çalışıyor" önermeleri veriliyor. \( \neg p \land q \) ifadesini cümle olarak yazınız.
12. "Bir sınıftaki tüm öğrenciler matematikten geçti." ifadesini niceleyici kullanarak sembolize ediniz.
13. Hangisi \( p \Rightarrow q \) önermesinin karşıtıdır?
a) \( q \Rightarrow p \) b) \( \neg p \Rightarrow \neg q \) c) \( \neg q \Rightarrow \neg p \)
14. \( \exists x \in \mathbb{Z}, x^2 = 4 \) ifadesinin Türkçe karşılığı nedir?
a) Tüm tam sayıların karesi 4'tür. b) Bazı tam sayıların karesi 4'tür. c) Hiçbir tam sayının karesi 4 değildir.
Cevaplar:
1: niceleyiciler, 2: ve, 3: ise, 4: B, 5: C, 6: A, 7: D, 8: Y, 9: D, 10: D, 11: Hava sıcak değil ve klima çalışıyor., 12: \( \forall x \in S, M(x) \), 13: a, 14: b
Soru 1: "Bir algoritmada 'VEYA' bağlacı kullanıldığında aşağıdaki durumlardan hangisi kesinlikle yanlıştır?"
a) İki koşuldan en az biri doğruysa sonuç doğrudur.
b) İki koşul da yanlışsa sonuç yanlıştır.
c) İki koşuldan sadece biri doğruysa sonuç yanlıştır.
d) İki koşul da doğruysa sonuç doğrudur.
e) Sonuç, koşulların tersinin 'VE' bağlacıyla birleşimine eşdeğerdir.
Cevap: c) Çözüm: 'VEYA' bağlacında tek bir koşulun doğru olması sonucu doğru yapar. Bu nedenle c seçeneği hatalıdır.
Soru 2: "∀x ∈ ℝ, x² ≥ 0" önermesi için aşağıdakilerden hangisi doğrudur?
a) Niceleyici, sadece pozitif x değerleri için geçerlidir.
b) Önerme, x=0 için yanlıştır.
c) ∃x ∈ ℝ için x² < 0 olabilir.
d) '∀' niceleyicisi, en az bir değerin koşulu sağladığını belirtir.
e) Önerme, tüm reel sayılar için doğrudur.
Cevap: e) Çözüm: '∀' niceleyicisi tüm reel sayılar için x²'nin sıfırdan büyük veya eşit olduğunu ifade eder. Karesi negatif olan reel sayı yoktur.
Soru 3: Algoritmada "DEĞİL( P ∧ Q )" ifadesinin mantıksal eşdeğeri nedir?
a) P ∨ Q
b) DEĞİL(P) ∨ DEĞİL(Q)
c) P ∧ DEĞİL(Q)
d) DEĞİL(P) ∧ Q
e) P ⊕ Q (XOR)
Cevap: b) Çözüm: De Morgan kuralına göre DEĞİL(P ∧ Q) ≡ DEĞİL(P) ∨ DEĞİL(Q) şeklinde açılır.