Algoritma ve mantık bağlaçları Ders Notu

Mantık: Önermeler ve Bağlaçlar 🧠

Matematiksel düşünmenin temeli olan mantık konusu, bir ifadenin doğru ya da yanlış olduğunu belirleme süreciyle başlar. Matematikte doğru ya da yanlış kesin bir hüküm bildiren ifadelere önerme denir. Bir önerme doğru ise \(1\) (D), yanlış ise \(0\) (Y) değeri ile gösterilir. Soru, emir veya ünlem cümleleri birer önerme değildir.

Temel Bağlaçlar ve Doğruluk Tabloları 📊

İki veya daha fazla önermeyi birbirine bağlayarak yeni önermeler elde etmemizi sağlayan yapılara mantık bağlaçları denir. Müfredatımızdaki temel bağlaçlar şunlardır:

• Ve (\(\land\)) Bağlacı: Bileşenlerin her ikisi de doğruysa sonuç doğrudur. Diğer tüm durumlarda sonuç yanlıştır.
• Veya (\(\lor\)) Bağlacı: Bileşenlerden en az biri doğruysa sonuç doğrudur. Her ikisi de yanlışsa sonuç yanlıştır.
• Ya da (\(\underline{\lor}\)) Bağlacı: Bileşenler birbirinden farklıysa sonuç doğru, aynıysa sonuç yanlıştır.
• İse (\(\implies\)) Bağlacı: Birinci önerme doğru, ikinci önerme yanlış olduğunda sonuç yanlıştır. Diğer durumlarda sonuç doğrudur.
• Ancak ve ancak (\(\iff\)) Bağlacı: Bileşenlerin doğruluk değerleri aynıysa sonuç doğru, farklıysa sonuç yanlıştır.

Önemli Not: \(p \implies q\) önermesi, \(q' \implies p'\) (karşıt tersi) önermesine denktir. Bu özellik, ispat yöntemlerinde sıkça kullanılır.

Günlük Yaşamdan Örnekler 💡

Mantık bağlaçlarını günlük hayattaki karar süreçlerimize benzetebiliriz. Örneğin, "Sinemaya gideceğim" (\(p\)) ve "Patlamış mısır alacağım" (\(q\)) önermelerini düşünelim. "Sinemaya gideceğim ve patlamış mısır alacağım" ifadesinin gerçekleşmesi için her iki eylemin de gerçekleşmesi gerekir (\(p \land q\)). Ancak "Sinemaya gideceğim veya patlamış mısır alacağım" dendiğinde, en az birinin gerçekleşmesi yeterlidir (\(p \lor q\)).

Çözümlü Örnekler 📝

Örnek 1: \(p=1\) ve \(q=0\) olduğuna göre, \((p \lor q) \land (p \implies q)\) ifadesinin doğruluk değerini bulunuz.

Çözüm: Öncelikle parantez içlerini hesaplayalım. \(p \lor q = 1 \lor 0 = 1\). Ardından \(p \implies q = 1 \implies 0 = 0\). Son işlem olarak \(1 \land 0 = 0\) sonucuna ulaşırız.

Örnek 2: \(p \underline{\lor} p\) önermesinin en sade halini bulunuz.

Çözüm: Ya da bağlacının kuralı gereği, aynı değerler işleme girdiğinde sonuç her zaman \(0\) olur. Yani \(1 \underline{\lor} 1 = 0\) ve \(0 \underline{\lor} 0 = 0\). O halde cevap \(0\) yani yanlış önermedir.

Algoritma Mantığı ⚙️

Algoritma, bir problemin çözümü için izlenmesi gereken mantıksal adımlar dizisidir. Mantık bağlaçları, algoritmalardaki "karar yapılarını" (if-else) oluşturur. Bir bilgisayar programı, "Eğer hava yağmurluysa (koşul) şemsiye al, değilse alma" komutunu işlerken mantık önermelerini kullanır. Algoritmalar, akış şemaları ile görselleştirilerek mantıksal hataların önüne geçilmesi hedeflenir.