📝 9. Sınıf Matematik: Algoritmalarda Mantık Bağlaçları Ve Niceleyiciler Ders Notu
Mantık, doğru düşünmenin ve akıl yürütmenin temel ilkelerini inceleyen bir bilim dalıdır. Algoritmalarda ve günlük hayatta karşılaştığımız durumları analiz ederken, mantık bağlaçları ve niceleyiciler bize karar verme süreçlerinde yol gösterir. Bu ders notunda, temel mantık kavramlarını ve bunların nasıl kullanıldığını öğreneceğiz.
Önermeler ve Doğruluk Değerleri 💡
Önerme, doğru ya da yanlış kesin bir hüküm bildiren ifadelere denir. Bir ifadenin önerme olabilmesi için, kişiden kişiye değişmeyen, objektif bir doğruluk değeri taşıması gerekir. Önermeler genellikle küçük harflerle (p, q, r gibi) gösterilir.
- Bir önermenin doğru olması durumunda doğruluk değeri D (Doğru) veya 1 ile gösterilir.
- Bir önermenin yanlış olması durumunda doğruluk değeri Y (Yanlış) veya 0 ile gösterilir.
Örnekler:
- "Ankara, Türkiye'nin başkentidir." Bu bir önermedir ve doğruluk değeri D (1)'dir.
- "2 + 3 = 5." Bu bir önermedir ve doğruluk değeri D (1)'dir.
- "Ay, Dünya'nın uydusudur." Bu bir önermedir ve doğruluk değeri D (1)'dir.
- "Tüm tek sayılar çifttir." Bu bir önermedir ve doğruluk değeri Y (0)'dır.
- "Bugün hava güzel mi?" Bu bir önerme değildir, çünkü bir soru cümlesidir ve kesin bir hüküm bildirmez.
- "Keşke sınavdan yüksek alsam." Bu bir önerme değildir, çünkü bir dilek cümlesidir.
Mantık Bağlaçları 🔗
Birden fazla önermeyi birbirine bağlamak veya bir önermenin anlamını değiştirmek için mantık bağlaçları kullanılır. Temel mantık bağlaçları şunlardır:
1. Değil (Olumsuzlama) Bağlacı (~ veya ')
Bir önermenin hükmünü değiştirerek olumsuzunu ifade eder. "Değil" bağlacı ~ veya ' sembolü ile gösterilir. Bir p önermesinin değili ~p veya p' şeklinde yazılır.
Eğer p önermesi doğru ise ~p yanlıştır; eğer p önermesi yanlış ise ~p doğrudur.
Doğruluk Tablosu:
| p | ~p |
|---|---|
| 1 | 0 |
| 0 | 1 |
2. Ve Bağlacı (∧)
İki önermeyi "ve" kelimesi ile birbirine bağlar. p land q şeklinde gösterilir. p land q önermesinin doğru olabilmesi için her iki önermenin de doğru olması gerekir. Diğer tüm durumlarda yanlıştır.
Doğruluk Tablosu:
| p | q | p land q |
|---|---|---|
| 1 | 1 | 1 |
| 1 | 0 | 0 |
| 0 | 1 | 0 |
| 0 | 0 | 0 |
3. Veya Bağlacı (∨)
İki önermeyi "veya" kelimesi ile birbirine bağlar. p lor q şeklinde gösterilir. p lor q önermesinin yanlış olabilmesi için her iki önermenin de yanlış olması gerekir. Diğer tüm durumlarda doğrudur.
Doğruluk Tablosu:
| p | q | p lor q |
|---|---|---|
| 1 | 1 | 1 |
| 1 | 0 | 1 |
| 0 | 1 | 1 |
| 0 | 0 | 0 |
4. Ya da Bağlacı (∨)
İki önermeyi "ya da" kelimesi ile birbirine bağlar. p underline{ lor} q şeklinde gösterilir. p underline{ lor} q önermesinin doğru olabilmesi için önermelerden sadece birinin doğru olması gerekir. Her iki önerme de doğru veya her iki önerme de yanlış ise önerme yanlıştır.
Doğruluk Tablosu:
| p | q | p underline{ lor} q |
|---|---|---|
| 1 | 1 | 0 |
| 1 | 0 | 1 |
| 0 | 1 | 1 |
| 0 | 0 | 0 |
5. İse Bağlacı (⇒)
İki önermeyi "ise" kelimesi ile bağlar. p to q şeklinde gösterilir. p to q önermesi, ilk önerme (p) doğru iken ikinci önerme (q) yanlış ise yanlış olur. Diğer tüm durumlarda doğrudur.
Bu bağlaçta p'ye hipotez (koşul), q'ye hüküm (sonuç) denir.
Doğruluk Tablosu:
| p | q | p to q |
|---|---|---|
| 1 | 1 | 1 |
| 1 | 0 | 0 |
| 0 | 1 | 1 |
| 0 | 0 | 1 |
Önemli Not: p to q önermesi, ~p lor q önermesine denktir. Yani, \( p to q equiv ~p lor q \).
6. Ancak ve Ancak Bağlacı (⇔)
İki önermeyi "ancak ve ancak" kelimesi ile bağlar. p iff q şeklinde gösterilir. p iff q önermesi, her iki önermenin de doğruluk değerleri aynı ise doğru, farklı ise yanlıştır.
Doğruluk Tablosu:
| p | q | p iff q |
|---|---|---|
| 1 | 1 | 1 |
| 1 | 0 | 0 |
| 0 | 1 | 0 |
| 0 | 0 | 1 |
Denk Önermeler (≡)
Doğruluk değerleri aynı olan önermelere denk önermeler denir. p ve q önermelerinin denk olması p equiv q şeklinde gösterilir.
Örneğin, p to q ve ~p lor q önermelerinin doğruluk tabloları aynı olduğu için bu önermeler denktir: \( (p to q) equiv (~p lor q) \).
Totoloji ve Çelişki 🤔
- Totoloji: Bir bileşik önerme, doğruluk değerlerinin hepsi doğru (1) ise bir totolojidir.
- Çelişki: Bir bileşik önerme, doğruluk değerlerinin hepsi yanlış (0) ise bir çelişkidir.
Örnekler:
- \( p lor (~p) \) önermesi bir totolojidir. (Her zaman doğru çıkar)
- \( p land (~p) \) önermesi bir çelişkidir. (Her zaman yanlış çıkar)
Niceleyiciler 🔢
Matematiksel ifadelerde veya algoritmik mantıkta, belirli bir özelliği sağlayan tüm elemanları veya en az bir elemanı belirtmek için niceleyiciler kullanılır. 9. sınıf düzeyinde iki temel niceleyici incelenir:
1. Evrensel Niceleyici (∀) - "Her", "Bütün"
Bir önermenin, belirtilen kümedeki tüm elemanlar için geçerli olduğunu ifade eder. forall x şeklinde gösterilir ve "Her x için" veya "Bütün x'ler için" şeklinde okunur.
Örnek:
- "Her x doğal sayısı için, \( x+1 > x \) olur." Bu ifadeyi niceleyici kullanarak forall x in N, x+1 > x şeklinde yazabiliriz.
2. Varlıksal Niceleyici (∃) - "Bazı", "En az bir"
Bir önermenin, belirtilen kümedeki en az bir eleman için geçerli olduğunu ifade eder. exists x şeklinde gösterilir ve "Bazı x'ler için" veya "En az bir x için" şeklinde okunur.
Örnek:
- "Bazı x tam sayıları için, \( x^2 = 4 \) olur." Bu ifadeyi niceleyici kullanarak exists x in Z, x^2 = 4 şeklinde yazabiliriz.
Niceleyicilerin Değili (Olumsuzlaması) 🔄
Niceleyicilerin değili alınırken, niceleyici değişir ve önermenin değili alınır:
- Evrensel niceleyicinin değili varlıksal niceleyici olur ve önermenin değili alınır:
\[ ~( forall x, P(x)) equiv exists x, ~P(x) \]
Örnek: "Tüm insanlar ölümlüdür." önermesinin değili, "En az bir insan ölümsüzdür." olur.
- Varlıksal niceleyicinin değili evrensel niceleyici olur ve önermenin değili alınır:
\[ ~( exists x, P(x)) equiv forall x, ~P(x) \]
Örnek: "Bazı kuşlar uçar." önermesinin değili, "Tüm kuşlar uçmaz." olur.