???? 9. Sınıf Algoritmik Yapılar İçerisindeki Mantık Bağlaçları ve Niceleyiciler Nedir? Test 2 - Ders Notu
Bu ders notu, 9. sınıf algoritmik yapılar konusundaki mantık bağlaçları ve niceleyicilerle ilgili temel kavramları ve bu kavramların nasıl kullanıldığını sade bir dille açıklamaktadır. Bu konular, algoritmaların ve programlama mantığının temelini oluşturur.
???? Önermeler ve Doğruluk Değeri
Mantık konusunun temelini önermeler oluşturur. Bir cümlenin önerme olabilmesi için doğru ya da yanlış kesin bir hüküm bildirmesi gerekir.
- Önerme: Doğru (D) ya da yanlış (Y) kesin bir değer alabilen ifadelerdir. Soru, istek, ünlem cümleleri önerme değildir.
- Doğruluk Değeri: Bir önermenin doğru olması durumunda 'D' veya '1', yanlış olması durumunda 'Y' veya '0' ile gösterilir.
- Örnek: "Ankara, Türkiye'nin başkentidir." (Doğruluk değeri: D/1)
- Örnek: "2 + 3 = 6." (Doğruluk değeri: Y/0)
???? İpucu: Bir cümlenin önerme olup olmadığını anlamak için "Bu cümle doğru mu, yanlış mı?" diye sorun. Eğer net bir cevap verebiliyorsanız, o bir önermedir.
???? Mantık Bağlaçları
Önermeleri birbirine bağlamak ve daha karmaşık önermeler oluşturmak için mantık bağlaçları kullanılır. Her bağlacın kendine özgü bir doğruluk kuralı vardır.
- Değil ($ \neg $): Bir önermenin olumsuzunu ifade eder. Eğer $ p $ doğruysa, $ \neg p $ yanlıştır; $ p $ yanlışsa, $ \neg p $ doğrudur.
- Örnek: $ p $: "Hava güneşlidir." $ \neg p $: "Hava güneşli değildir."
- Ve ($ \land $): "Ve" bağlacıyla bağlanan iki önermeden her ikisi de doğruysa sonuç doğrudur, aksi halde yanlıştır.
- Günlük Hayat Örneği: "Hem ders çalıştım hem de ödevimi bitirdim." (İkisini de yaparsan doğru, birini bile yapmazsan yanlış.)
- Veya ($ \lor $): "Veya" bağlacıyla bağlanan iki önermeden en az biri doğruysa sonuç doğrudur, ikisi de yanlışsa sonuç yanlıştır.
- Günlük Hayat Örneği: "Çay veya kahve içer misin?" (İkisinden birini seçsen de, ikisini de seçsen de olur, ikisini de istemezsen olmaz.)
- İse ($ \Rightarrow $): "İse" bağlacında, sadece ilk önerme doğruyken ikinci önerme yanlış olursa sonuç yanlıştır. Diğer tüm durumlarda sonuç doğrudur.
- Günlük Hayat Örneği: "Yağmur yağarsa (D) şemsiyemi alırım (D)." (Doğru) "Yağmur yağarsa (D) şemsiyemi almam (Y)." (Yanlış)
- Ancak ve Ancak ($ \Leftrightarrow $): "Ancak ve ancak" bağlacında, iki önermenin doğruluk değerleri aynıysa (ikisi de doğru ya da ikisi de yanlış) sonuç doğrudur. Doğruluk değerleri farklıysa sonuç yanlıştır.
- Günlük Hayat Örneği: "Sınavı geçersen ancak ve ancak mezun olursun." (Hem geçip mezun olursan, hem de geçmeyip mezun olmazsan doğru. Diğer durumlar yanlış.)
⚠️ Dikkat: Özellikle "$ p \Rightarrow q $" (ise) bağlacında, $ p $ yanlış olduğunda sonuç her zaman doğrudur. Bu durumu "Yanlış öncülden her şey çıkar." şeklinde düşünebilirsiniz.
???? Doğruluk Tabloları ve Denklik
Doğruluk tabloları, bir veya daha fazla önermenin tüm olası doğruluk değerleri kombinasyonları için bileşik önermenin doğruluk değerini gösteren araçlardır.
- Doğruluk Tabloları: Önermelerin ve bağlaçların tüm olası durumlarını sistematik olarak listeler. $ n $ tane farklı önerme için $ 2^n $ farklı durum oluşur.
- Denklik ($ \equiv $): İki bileşik önermenin doğruluk tablosundaki sonuç sütunları tamamen aynıysa, bu iki önerme denktir denir.
- Önemli Denklikler:
- De Morgan Kuralları: $ \neg (p \land q) \equiv \neg p \lor \neg q $ ve $ \neg (p \lor q) \equiv \neg p \land \neg q $
- Dağılma Özelliği: $ p \land (q \lor r) \equiv (p \land q) \lor (p \land r) $
???? İpucu: Denklikler, karmaşık mantık ifadelerini daha basit hallere dönüştürmek için çok önemlidir. Tıpkı matematikteki özdeşlikler gibi düşünebilirsiniz.
???? Niceleyiciler
Niceleyiciler, bir küme içerisindeki elemanların belirli bir özelliği ne kadarının sağladığını ifade etmek için kullanılır.
- Evrensel Niceleyici ($ \forall $): "Her", "Bütün", "Tüm" anlamlarına gelir. Bir kümedeki tüm elemanların belirli bir özelliği sağladığını belirtir.
- Örnek: "$ \forall x \in \mathbb{R}, x^2 \ge 0 $" (Her gerçek sayının karesi sıfırdan büyüktür veya eşittir.)
- Varlıksal Niceleyici ($ \exists $): "Bazı", "En az bir" anlamlarına gelir. Bir kümede en az bir elemanın belirli bir özelliği sağladığını belirtir.
- Örnek: "$ \exists x \in \mathbb{Z}, x+5=10 $" (Bazı tam sayılar için $ x+5=10 $ denklemi doğrudur.)
- Niceleyicilerin Olumsuzları:
- Evrensel niceleyicinin olumsuzu varlıksal niceleyiciye dönüşür: $ \neg (\forall x, P(x)) \equiv \exists x, \neg P(x) $
- Varlıksal niceleyicinin olumsuzu evrensel niceleyiciye dönüşür: $ \neg (\exists x, P(x)) \equiv \forall x, \neg P(x) $
⚠️ Dikkat: Niceleyicilerin olumsuzlarını alırken hem niceleyici değişir hem de önermenin kendisi olumsuzlanır. Örneğin, "Tüm öğrenciler çalışkandır." önermesinin olumsuzu "Bazı öğrenciler çalışkan değildir." şeklindedir.
