Algoritmalarda Ve Matematiksel İspatlarda Mantık Bağlaçları Ders Notu

Mantık, doğru akıl yürütmeyi inceleyen bir bilim dalıdır. Matematiksel ispatlarda ve algoritmaların kurulmasında önermeler arasındaki ilişkileri belirlemek için mantık bağlaçları kullanılır. Bu bağlaçlar, birden fazla önermeyi bir araya getirerek yeni bileşik önermeler oluşturmamızı sağlar.

Önerme Nedir? 🤔

Doğru ya da yanlış kesin bir hüküm bildiren ifadelere önerme denir. Önermeler genellikle p, q, r gibi küçük harflerle gösterilir. Bir önermenin doğru olması durumunda doğruluk değeri 1 (D), yanlış olması durumunda ise 0 (Y) ile gösterilir.

• "Türkiye'nin başkenti Ankara'dır." önermesi doğrudur. (Doğruluk değeri: 1)
• "2 + 3 = 6." önermesi yanlıştır. (Doğruluk değeri: 0)
• "Bugün hava güzel mi?" ifadesi bir önerme değildir, çünkü kesin bir hüküm bildirmez.

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

1. Değil (Olumsuzlama) Bağlacı (\(\neg\)) 🚫

Bir önermenin olumsuzu, o önermenin doğruluk değerini tersine çevirir. "Değil" bağlacı \(\neg\) sembolü ile gösterilir. p önermesinin değili \(\neg p\) şeklinde yazılır.

Örnek: p: "Hava güneşlidir." ise \(\neg p\): "Hava güneşli değildir."

p	\(\neg p\)
1	0
0	1

2. Ve Bağlacı (\(\land\)) ➕

"Ve" bağlacı, iki önermenin birlikte doğru olması durumunda bileşik önermeyi doğru yapar. Diğer tüm durumlarda yanlıştır. \(\land\) sembolü ile gösterilir. p ve q önermelerinin "ve" bağlacıyla birleşimi \(p \land q\) şeklinde yazılır.

Örnek: p: "Güneş doğmuştur.", q: "Kuşlar öter." ise \(p \land q\): "Güneş doğmuştur ve kuşlar öter." Bu bileşik önermenin doğru olması için hem güneşin doğmuş olması hem de kuşların ötüyor olması gerekir.

p	q	\(p \land q\)
1	1	1
1	0	0
0	1	0
0	0	0

3. Veya Bağlacı (\(\lor\)) ➖

"Veya" bağlacı, iki önermeden en az birinin doğru olması durumunda bileşik önermeyi doğru yapar. Her iki önerme de yanlış ise bileşik önerme yanlıştır. \(\lor\) sembolü ile gösterilir. p veya q önermelerinin "veya" bağlacıyla birleşimi \(p \lor q\) şeklinde yazılır.

Örnek: p: "Ayşe doktordur.", q: "Ayşe öğretmendir." ise \(p \lor q\): "Ayşe doktordur veya Ayşe öğretmendir." Ayşe'nin doktor olması veya öğretmen olması (ya da her ikisi) bu önermeyi doğru yapar.

p	q	\(p \lor q\)
1	1	1
1	0	1
0	1	1
0	0	0

4. Ya da Bağlacı (\(\underline{\lor}\)) ↔️

"Ya da" bağlacı, iki önermeden sadece birinin doğru olması durumunda bileşik önermeyi doğru yapar. Her iki önerme de aynı doğruluk değerine sahipse (ikisi de doğru veya ikisi de yanlış) bileşik önerme yanlıştır. \(\underline{\lor}\) sembolü ile gösterilir. p ya da q önermelerinin "ya da" bağlacıyla birleşimi \(p \underline{\lor} q\) şeklinde yazılır.

Örnek: p: "Bu akşam sinemaya gideceğim.", q: "Bu akşam tiyatroya gideceğim." ise \(p \underline{\lor} q\): "Bu akşam sinemaya gideceğim ya da tiyatroya gideceğim." Bu önerme, sadece birine gidildiğinde doğru olur. İkisine birden gidilirse veya hiçbirine gidilmezse yanlış olur.

p	q	\(p \underline{\lor} q\)
1	1	0
1	0	1
0	1	1
0	0	0

5. İse Bağlacı (\(\implies\)) 👉

"İse" bağlacı, koşullu önerme oluşturur. \(p \implies q\) şeklinde gösterilir ve "p ise q" diye okunur. Bu bileşik önerme, p doğru iken q yanlış olduğunda yanlıştır. Diğer tüm durumlarda doğrudur. Burada p'ye hipotez (ön koşul), q'ya ise hüküm (sonuç) denir.

Örnek: p: "Hava yağmurludur.", q: "Şemsiye alırım." ise \(p \implies q\): "Hava yağmurlu ise şemsiye alırım." Eğer hava yağmurlu olduğu halde şemsiye almazsam, bu önerme yanlış olur.

p	q	\(p \implies q\)
1	1	1
1	0	0
0	1	1
0	0	1

6. Ancak ve Ancak Bağlacı (\(\iff\)) 🤝

"Ancak ve ancak" bağlacı, iki yönlü koşullu önerme oluşturur. \(p \iff q\) şeklinde gösterilir ve "p ancak ve ancak q" diye okunur. Bu bileşik önerme, p ve q önermelerinin doğruluk değerleri aynı olduğunda doğrudur. Doğruluk değerleri farklı ise yanlıştır.

Örnek: p: "Bir sayı çift sayıdır.", q: "Bir sayı 2 ile tam bölünür." ise \(p \iff q\): "Bir sayı çift sayıdır ancak ve ancak 2 ile tam bölünür." Bu önerme, sayının çift olması ile 2'ye tam bölünmesi arasında karşılıklı bir ilişki olduğunu ifade eder.

p	q	\(p \iff q\)
1	1	1
1	0	0
0	1	0
0	0	1

Mantık Bağlaçlarının Özellikleri 🧩

Mantık bağlaçları, cebirsel işlemlere benzer bazı özelliklere sahiptir. Bu özellikler, karmaşık bileşik önermeleri basitleştirmek için kullanılır.

1. Tek Kuvvet Özelliği

• \(p \land p \equiv p\)
• \(p \lor p \equiv p\)

2. Değişme Özelliği

• \(p \land q \equiv q \land p\)
• \(p \lor q \equiv q \lor p\)

3. Birleşme Özelliği

• \((p \land q) \land r \equiv p \land (q \land r)\)
• \((p \lor q) \lor r \equiv p \lor (q \lor r)\)

4. Dağılma Özelliği

• \(p \land (q \lor r) \equiv (p \land q) \lor (p \land r)\)
• \(p \lor (q \land r) \equiv (p \lor q) \land (p \lor r)\)

5. De Morgan Kuralları

De Morgan kuralları, "ve" ve "veya" bağlaçlarının değilini alırken kullanılır:

• \(\neg (p \land q) \equiv \neg p \lor \neg q\)
• \(\neg (p \lor q) \equiv \neg p \land \neg q\)

6. Etkisiz Eleman

• \(p \land 1 \equiv p\) (1 doğru önermeyi temsil eder)
• \(p \lor 0 \equiv p\) (0 yanlış önermeyi temsil eder)

7. Ters Eleman

• \(p \land \neg p \equiv 0\) (Bir önerme ile değilinin "ve"si her zaman yanlıştır - Çelişki)
• \(p \lor \neg p \equiv 1\) (Bir önerme ile değilinin "veya"sı her zaman doğrudur - Totoloji)

8. Diğer Önemli Özellikler

• \(p \land 0 \equiv 0\)
• \(p \lor 1 \equiv 1\)
• \(\neg (\neg p) \equiv p\) (Bir önermenin değilinin değili kendisidir)
• \(p \implies q \equiv \neg p \lor q\) (İse bağlacının veya cinsinden eşdeğeri)
• \(p \iff q \equiv (p \implies q) \land (q \implies p)\) (Ancak ve ancak bağlacının ise cinsinden eşdeğeri)