Mantık Bağlaçları ve Niceleyiciler (9. Sınıf) Konu Notu

Konu Özeti

Mantık bağlaçları, bir ya da birkaç önermeyi birleştirerek yeni önermeler kurmamızı sağlar. Niceleyiciler ise bir ifadenin tüm elemanlar için mi yoksa en az bir eleman için mi geçerli olduğunu anlatır. Bu iki araç, algoritmalardaki koşul ve döngülerin doğru çalışmasının temelidir.

Temel Kavramlar

Algoritma, bir problemi çözmek için izlenen açık, sıralı ve sonlu adımlardır. İyi bir algoritmanın girdisi, adımları ve çıktısı bellidir.

• Problemi anla: verilenleri ve istenenleri belirle.
• Çözüm adımlarını sırayla yaz.
• Karar gereken yerde koşul kullan (eğer ... ise ... değilse ...).
• Tekrar gereken yerde döngü kullan (... olduğu sürece tekrarla).
• Algoritmayı örnek değerlerle deneyerek sına.

Bir önerme doğru (D) ya da yanlış (Y) değer alan ifadedir. Koşullar, önermelerin bağlaçlarla birleşmesiyle oluşur.

Doğruluk Değerleri ve Önemli Eşdeğerlikler

p ⇒ q ≡ p′ ∨ q

(p ∧ q)′ ≡ p′ ∨ q′ ve (p ∨ q)′ ≡ p′ ∧ q′

• 've' koşulunda iki şart birlikte sağlanmalıdır: x > 2 ve x < 5 ise x, 2 ile 5 arasındadır.
• 'veya' koşulunda şartlardan biri yeterlidir.
• 'değil' koşulu sonucu tersine çevirir.
• 'p ⇒ q' yalnızca p doğru, q yanlışken yanlıştır.

Niceleyiciler

• '∀x, p(x)' ifadesi, tek bir karşıt örnek bulunursa yanlıştır.
• '∃x, p(x)' ifadesi, sağlayan bir örnek bulunursa doğrudur.
• Değilleme: (∀x, p(x))′ ≡ ∃x, p(x)′ ve (∃x, p(x))′ ≡ ∀x, p(x)′.

Karşıt örnek, ∀ ifadesini yanlışlamak için yeterlidir. Ancak ∀ ifadesini doğrulamak için tek bir örnek yetmez, tüm elemanlar kontrol edilmelidir.