Algoritmik Yapılar İçerisindeki Mantık Bağlaçları Ve Nicelikleri Ders Notu

Bu ders notunda, algoritmik yapıların temelini oluşturan mantık konusunu inceleyeceğiz. Önermeler, doğruluk değerleri, mantık bağlaçları ve nicelik belirteçleri gibi kavramları 9. sınıf müfredatına uygun olarak detaylı bir şekilde öğreneceğiz.

Önermeler ve Doğruluk Değeri 🧐

Önerme: Doğru ya da yanlış kesin bir hüküm bildiren ifadelere önerme denir. Önermeler genellikle küçük harflerle (p, q, r, s gibi) gösterilir.

Bir ifadenin önerme olabilmesi için kişiden kişiye değişmeyen, net bir yargı bildirmesi gerekir.
Soru cümleleri, emir cümleleri, dilek cümleleri veya göreceli ifadeler (güzel, çirkin, iyi, kötü gibi) önerme değildir.

Doğruluk Değeri: Bir önermenin doğru ya da yanlış olma durumuna doğruluk değeri denir.

Bir önerme doğru ise doğruluk değeri 1 (D) ile gösterilir.
Bir önerme yanlış ise doğruluk değeri 0 (Y) ile gösterilir.

Örnekler:

p: "Türkiye'nin başkenti Ankara'dır." (Doğruluk değeri 1'dir, çünkü bu ifade doğrudur.)

q: "2 + 3 = 6." (Doğruluk değeri 0'dır, çünkü bu ifade yanlıştır.)

r: "Hava bugün çok güzel." (Önerme değildir, çünkü güzellik görecelidir.)

s: "Kalemini bana ver!" (Önerme değildir, çünkü bir emir cümlesidir.)

n tane farklı önermenin \( 2^n \) tane farklı doğruluk durumu vardır.

Örneğin, 2 farklı önerme için \( 2^2 = 4 \) farklı doğruluk durumu vardır.
3 farklı önerme için \( 2^3 = 8 \) farklı doğruluk durumu vardır.

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

Mantık bağlaçları, birden fazla önermeyi birbirine bağlayarak yeni bileşik önermeler oluşturmak için kullanılır. Her bir bağlacın kendine özgü bir doğruluk tablosu vardır.

Değil Bağlacı (Olumsuzlama) \( (\neg) \)

Bir önermenin hükmünün olumsuzu alınarak oluşturulan yeni önermeye o önermenin değili denir. \( p \) önermesinin değili \( \neg p \) (p'nin değili) şeklinde gösterilir.

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

Örnek:

p: "Elmalar kırmızıdır." (Doğruluk değeri 0)

\( \neg p \): "Elmalar kırmızı değildir." (Doğruluk değeri 1)

Ve Bağlacı (Tümel Evetleme) \( (\land) \)

İki önermenin "ve" bağlacıyla birleştirilmesiyle elde edilen bileşik önermeye tümel evetleme denir. \( p \) ve \( q \) önermelerinin "ve" bağlacıyla birleştirilmesi \( 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.

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

Örnek:

p: "2 tek sayıdır." (Doğruluk değeri 0)

q: "3 asal sayıdır." (Doğruluk değeri 1)

\( p \land q \): "2 tek sayıdır ve 3 asal sayıdır." (Doğruluk değeri 0, çünkü p yanlıştır.)

Veya Bağlacı (Tikel Evetleme) \( (\lor) \)

İki önermenin "veya" bağlacıyla birleştirilmesiyle elde edilen bileşik önermeye tikel evetleme denir. \( p \) ve \( q \) önermelerinin "veya" bağlacıyla birleştirilmesi \( 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.

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

Örnek:

p: "Ay bir gezegendir." (Doğruluk değeri 0)

q: "Güneş bir yıldızdır." (Doğruluk değeri 1)

\( p \lor q \): "Ay bir gezegendir veya Güneş bir yıldızdır." (Doğruluk değeri 1, çünkü q doğrudur.)

Ya da Bağlacı (Tekli Veya) \( (\underline{\lor}) \)

İki önermenin "ya da" bağlacıyla birleştirilmesiyle elde edilen bileşik önerme \( p \underline{\lor} q \) şeklinde gösterilir.

\( p \underline{\lor} q \) önermesinin doğru olabilmesi için önermelerden sadece birinin doğru olması gerekir. İki önerme de doğru veya iki önerme de yanlış ise önerme yanlıştır.

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

Örnek:

p: "Bugün sinemaya giderim."

q: "Bugün tiyatroya giderim."

\( p \underline{\lor} q \): "Bugün ya sinemaya giderim ya da tiyatroya giderim." (İkisinden sadece birini yaparsa doğru olur.)

Koşullu Önerme (İse Bağlacı) \( (\implies) \)

İki önermenin "ise" bağlacıyla birleştirilmesiyle elde edilen bileşik önermeye koşullu önerme denir. \( p \) ve \( q \) önermelerinin "ise" bağlacıyla birleştirilmesi \( p \implies q \) şeklinde gösterilir.

\( p \implies q \) önermesinin yanlış olabilmesi için birinci önermenin doğru, ikinci önermenin yanlış olması (1 \(\implies\) 0) gerekir. Diğer tüm durumlarda doğrudur.

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

Örnek:

p: "Hava yağmurludur."

q: "Şemsiye alırım."

\( p \implies q \): "Hava yağmurlu ise şemsiye alırım."

Koşullu Önermenin Karşıtı, Tersi ve Karşıt Tersi:

Karşıtı: \( q \implies p \)
Tersi: \( \neg p \implies \neg q \)
Karşıt Tersi: \( \neg q \implies \neg p \)
Bir önermenin kendisi ile karşıt tersinin doğruluk değeri denktir: \( (p \implies q) \equiv (\neg q \implies \neg p) \)

İki Yönlü Koşullu Önerme (Ancak ve Ancak Bağlacı) \( (\iff) \)

İki önermenin "ancak ve ancak" bağlacıyla birleştirilmesiyle elde edilen bileşik önermeye iki yönlü koşullu önerme denir. \( p \) ve \( q \) önermelerinin "ancak ve ancak" bağlacıyla birleştirilmesi \( p \iff q \) şeklinde gösterilir.

\( p \iff q \) önermesinin doğru olabilmesi için her iki önermenin de aynı doğruluk değerine sahip olması gerekir.

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

Örnek:

p: "Bir sayı 4'e tam bölünür."

q: "Bir sayının son iki basamağı 4'ün katıdır."

\( p \iff q \): "Bir sayı 4'e tam bölünür ancak ve ancak sayının son iki basamağı 4'ün katıdır." (Bu önerme her zaman doğrudur.)

Denk Önermeler, Totoloji ve Çelişki 🤔

Denk Önermeler: Doğruluk değerleri aynı olan önermelere denk önermeler denir. \( p \) ve \( q \) önermeleri denk ise \( p \equiv q \) şeklinde gösterilir.

Totoloji: Bir bileşik önerme, bileşenlerinin tüm doğruluk değerleri için daima doğru (1) oluyorsa bu bileşik önermeye totoloji denir.

Örnek: \( p \lor (\neg p) \) önermesi bir totolojidir.

\(p\) \( \neg p \) \(p \lor (\neg p)\)

1 0 1

0 1 1

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

Çelişki: Bir bileşik önerme, bileşenlerinin tüm doğruluk değerleri için daima yanlış (0) oluyorsa bu bileşik önermeye çelişki denir.

Örnek: \( p \land (\neg p) \) önermesi bir çelişkidir.

\(p\) \( \neg p \) \(p \land (\neg p)\)

1 0 0

0 1 0

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

De Morgan Kuralları 📝

Bileşik önermelerin değilini alırken kullanılan önemli kurallardır:

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

Bu kurallar, "ve" ile "veya" bağlaçlarının yer değiştirdiğini ve önermelerin değillerinin alındığını belirtir.

Örnek: \( \neg (\text{Bugün yağmur yağar ve hava soğuktur.}) \) önermesi,

"Bugün yağmur yağmaz veya hava soğuk değildir." önermesine denktir.

Nicelik Belirteçleri (Niceleyiciler) 🔢

İçinde değişken bulunan ve doğruluk değeri değişkenin aldığı değere göre değişen açık önermelerin doğruluk kümelerini belirtmek için kullanılan sembollere nicelik belirteçleri denir.

Evrensel Niceleyici (Her) \( (\forall) \)

"Her", "bütün", "tüm", "hepsi" gibi anlamlara gelir. Bir önermedeki değişkenin verilen kümedeki her eleman için doğru olduğunu ifade eder. \( \forall x \) şeklinde gösterilir ve "her x için" veya "bütün x'ler için" diye okunur.

Örnek:

p(x): "x bir doğal sayıdır." (Açık önerme)

\( \forall x \in \mathbb{N}, x \ge 0 \) : "Her doğal sayı 0'dan büyüktür veya 0'a eşittir." (Bu önerme doğrudur.)

Varlıksal Niceleyici (Bazı / En Az Bir) \( (\exists) \)

"Bazı", "en az bir", "kimileri" gibi anlamlara gelir. Bir önermedeki değişkenin verilen kümedeki en az bir eleman için doğru olduğunu ifade eder. \( \exists x \) şeklinde gösterilir ve "bazı x'ler için" veya "en az bir x vardır ki" diye okunur.

Örnek:

p(x): "x bir asal sayıdır." (Açık önerme)

\( \exists x \in \mathbb{Z}, x^2 = 4 \) : "Karesi 4 olan en az bir tam sayı vardır." (Bu önerme doğrudur, çünkü \(x=2\) veya \(x=-2\) olabilir.)

Nicelenmiş Önermelerin Olumsuzu 🚫

Nicelik belirteçleri içeren önermelerin olumsuzları alınırken şu kurallar uygulanır:

"Her" niceleyicisinin değili "bazı" niceleyicisi olur ve önermenin değili alınır.
"Bazı" niceleyicisinin değili "her" niceleyicisi olur ve önermenin değili alınır.

Formül olarak:

\( \neg (\forall x, P(x)) \equiv (\exists x, \neg P(x)) \)
\( \neg (\exists x, P(x)) \equiv (\forall x, \neg P(x)) \)

Örnek:

p: "Her öğrenci matematik dersini sever." \( (\forall x, \text{x matematik dersini sever.}) \)

\( \neg p \): "Bazı öğrenciler matematik dersini sevmez." \( (\exists x, \text{x matematik dersini sevmez.}) \)

Önermeler ve Doğruluk Değeri 🧐

Önerme: Doğru ya da yanlış kesin bir hüküm bildiren ifadelere önerme denir. Önermeler genellikle küçük harflerle (p, q, r, s gibi) gösterilir.

Bir ifadenin önerme olabilmesi için kişiden kişiye değişmeyen, net bir yargı bildirmesi gerekir.
Soru cümleleri, emir cümleleri, dilek cümleleri veya göreceli ifadeler (güzel, çirkin, iyi, kötü gibi) önerme değildir.

Doğruluk Değeri: Bir önermenin doğru ya da yanlış olma durumuna doğruluk değeri denir.

Bir önerme doğru ise doğruluk değeri 1 (D) ile gösterilir.
Bir önerme yanlış ise doğruluk değeri 0 (Y) ile gösterilir.

Örnekler:

p: "Türkiye'nin başkenti Ankara'dır." (Doğruluk değeri 1'dir, çünkü bu ifade doğrudur.)

q: "2 + 3 = 6." (Doğruluk değeri 0'dır, çünkü bu ifade yanlıştır.)

r: "Hava bugün çok güzel." (Önerme değildir, çünkü güzellik görecelidir.)

s: "Kalemini bana ver!" (Önerme değildir, çünkü bir emir cümlesidir.)

n tane farklı önermenin \( 2^n \) tane farklı doğruluk durumu vardır.

Örneğin, 2 farklı önerme için \( 2^2 = 4 \) farklı doğruluk durumu vardır.
3 farklı önerme için \( 2^3 = 8 \) farklı doğruluk durumu vardır.

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

Mantık bağlaçları, birden fazla önermeyi birbirine bağlayarak yeni bileşik önermeler oluşturmak için kullanılır. Her bir bağlacın kendine özgü bir doğruluk tablosu vardır.

Değil Bağlacı (Olumsuzlama) \( (\neg) \)

Bir önermenin hükmünün olumsuzu alınarak oluşturulan yeni önermeye o önermenin değili denir. \( p \) önermesinin değili \( \neg p \) (p'nin değili) şeklinde gösterilir.

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

Örnek:

p: "Elmalar kırmızıdır." (Doğruluk değeri 0)

\( \neg p \): "Elmalar kırmızı değildir." (Doğruluk değeri 1)

Ve Bağlacı (Tümel Evetleme) \( (\land) \)

\( 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.

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

Örnek:

p: "2 tek sayıdır." (Doğruluk değeri 0)

q: "3 asal sayıdır." (Doğruluk değeri 1)

\( p \land q \): "2 tek sayıdır ve 3 asal sayıdır." (Doğruluk değeri 0, çünkü p yanlıştır.)

Veya Bağlacı (Tikel Evetleme) \( (\lor) \)

\( p \lor q \) önermesinin yanlış olabilmesi için her iki önermenin de yanlış olması gerekir. Diğer tüm durumlarda doğrudur.

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

Örnek:

p: "Ay bir gezegendir." (Doğruluk değeri 0)

q: "Güneş bir yıldızdır." (Doğruluk değeri 1)

\( p \lor q \): "Ay bir gezegendir veya Güneş bir yıldızdır." (Doğruluk değeri 1, çünkü q doğrudur.)

Ya da Bağlacı (Tekli Veya) \( (\underline{\lor}) \)

İki önermenin "ya da" bağlacıyla birleştirilmesiyle elde edilen bileşik önerme \( p \underline{\lor} q \) şeklinde gösterilir.

\( p \underline{\lor} q \) önermesinin doğru olabilmesi için önermelerden sadece birinin doğru olması gerekir. İki önerme de doğru veya iki önerme de yanlış ise önerme yanlıştır.

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

Örnek:

p: "Bugün sinemaya giderim."

q: "Bugün tiyatroya giderim."

\( p \underline{\lor} q \): "Bugün ya sinemaya giderim ya da tiyatroya giderim." (İkisinden sadece birini yaparsa doğru olur.)

Koşullu Önerme (İse Bağlacı) \( (\implies) \)

\( p \implies q \) önermesinin yanlış olabilmesi için birinci önermenin doğru, ikinci önermenin yanlış olması (1 \(\implies\) 0) gerekir. Diğer tüm durumlarda doğrudur.

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

Örnek:

p: "Hava yağmurludur."

q: "Şemsiye alırım."

\( p \implies q \): "Hava yağmurlu ise şemsiye alırım."

Koşullu Önermenin Karşıtı, Tersi ve Karşıt Tersi:

Karşıtı: \( q \implies p \)
Tersi: \( \neg p \implies \neg q \)
Karşıt Tersi: \( \neg q \implies \neg p \)
Bir önermenin kendisi ile karşıt tersinin doğruluk değeri denktir: \( (p \implies q) \equiv (\neg q \implies \neg p) \)

İki Yönlü Koşullu Önerme (Ancak ve Ancak Bağlacı) \( (\iff) \)

\( p \iff q \) önermesinin doğru olabilmesi için her iki önermenin de aynı doğruluk değerine sahip olması gerekir.

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

Örnek:

p: "Bir sayı 4'e tam bölünür."

q: "Bir sayının son iki basamağı 4'ün katıdır."

\( p \iff q \): "Bir sayı 4'e tam bölünür ancak ve ancak sayının son iki basamağı 4'ün katıdır." (Bu önerme her zaman doğrudur.)

Denk Önermeler, Totoloji ve Çelişki 🤔

Denk Önermeler: Doğruluk değerleri aynı olan önermelere denk önermeler denir. \( p \) ve \( q \) önermeleri denk ise \( p \equiv q \) şeklinde gösterilir.

Totoloji: Bir bileşik önerme, bileşenlerinin tüm doğruluk değerleri için daima doğru (1) oluyorsa bu bileşik önermeye totoloji denir.

Örnek: \( p \lor (\neg p) \) önermesi bir totolojidir.

\(p\) \( \neg p \) \(p \lor (\neg p)\)

1 0 1

0 1 1

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

Çelişki: Bir bileşik önerme, bileşenlerinin tüm doğruluk değerleri için daima yanlış (0) oluyorsa bu bileşik önermeye çelişki denir.

Örnek: \( p \land (\neg p) \) önermesi bir çelişkidir.

\(p\) \( \neg p \) \(p \land (\neg p)\)

1 0 0

0 1 0

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

De Morgan Kuralları 📝

Bileşik önermelerin değilini alırken kullanılan önemli kurallardır:

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

Bu kurallar, "ve" ile "veya" bağlaçlarının yer değiştirdiğini ve önermelerin değillerinin alındığını belirtir.

Örnek: \( \neg (\text{Bugün yağmur yağar ve hava soğuktur.}) \) önermesi,

"Bugün yağmur yağmaz veya hava soğuk değildir." önermesine denktir.

Nicelik Belirteçleri (Niceleyiciler) 🔢

Evrensel Niceleyici (Her) \( (\forall) \)

Örnek:

p(x): "x bir doğal sayıdır." (Açık önerme)

\( \forall x \in \mathbb{N}, x \ge 0 \) : "Her doğal sayı 0'dan büyüktür veya 0'a eşittir." (Bu önerme doğrudur.)

Varlıksal Niceleyici (Bazı / En Az Bir) \( (\exists) \)

Örnek:

p(x): "x bir asal sayıdır." (Açık önerme)

\( \exists x \in \mathbb{Z}, x^2 = 4 \) : "Karesi 4 olan en az bir tam sayı vardır." (Bu önerme doğrudur, çünkü \(x=2\) veya \(x=-2\) olabilir.)

Nicelenmiş Önermelerin Olumsuzu 🚫

Nicelik belirteçleri içeren önermelerin olumsuzları alınırken şu kurallar uygulanır:

"Her" niceleyicisinin değili "bazı" niceleyicisi olur ve önermenin değili alınır.
"Bazı" niceleyicisinin değili "her" niceleyicisi olur ve önermenin değili alınır.

Formül olarak:

\( \neg (\forall x, P(x)) \equiv (\exists x, \neg P(x)) \)
\( \neg (\exists x, P(x)) \equiv (\forall x, \neg P(x)) \)

Örnek:

p: "Her öğrenci matematik dersini sever." \( (\forall x, \text{x matematik dersini sever.}) \)

\( \neg p \): "Bazı öğrenciler matematik dersini sevmez." \( (\exists x, \text{x matematik dersini sevmez.}) \)

📝 9. Sınıf Matematik: Algoritmik Yapılar İçerisindeki Mantık Bağlaçları Ve Nicelikleri Ders Notu

Algoritmik Yapılar İçerisindeki Mantık Bağlaçları Ve Nicelikleri Ders Notu

Önermeler ve Doğruluk Değeri 🧐

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

Değil Bağlacı (Olumsuzlama) \( (\neg) \)

Ve Bağlacı (Tümel Evetleme) \( (\land) \)

Veya Bağlacı (Tikel Evetleme) \( (\lor) \)

Ya da Bağlacı (Tekli Veya) \( (\underline{\lor}) \)

Koşullu Önerme (İse Bağlacı) \( (\implies) \)

İki Yönlü Koşullu Önerme (Ancak ve Ancak Bağlacı) \( (\iff) \)

Denk Önermeler, Totoloji ve Çelişki 🤔

De Morgan Kuralları 📝

Nicelik Belirteçleri (Niceleyiciler) 🔢

Evrensel Niceleyici (Her) \( (\forall) \)

Varlıksal Niceleyici (Bazı / En Az Bir) \( (\exists) \)

Nicelenmiş Önermelerin Olumsuzu 🚫

Önermeler ve Doğruluk Değeri 🧐

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

Değil Bağlacı (Olumsuzlama) \( (\neg) \)

Ve Bağlacı (Tümel Evetleme) \( (\land) \)

Veya Bağlacı (Tikel Evetleme) \( (\lor) \)

Ya da Bağlacı (Tekli Veya) \( (\underline{\lor}) \)

Koşullu Önerme (İse Bağlacı) \( (\implies) \)

İki Yönlü Koşullu Önerme (Ancak ve Ancak Bağlacı) \( (\iff) \)

Denk Önermeler, Totoloji ve Çelişki 🤔

De Morgan Kuralları 📝

Nicelik Belirteçleri (Niceleyiciler) 🔢

Evrensel Niceleyici (Her) \( (\forall) \)

Varlıksal Niceleyici (Bazı / En Az Bir) \( (\exists) \)

Nicelenmiş Önermelerin Olumsuzu 🚫

İçerik Hazırlanıyor...