Mantık bağlaçları ve niceliklerin algoritmada kullanımı Ders Notu

9. Sınıf Matematik: Mantık Bağlaçları ve Nicelikler

Bu derste, önermeler arasındaki ilişkileri kurmamızı sağlayan mantık bağlaçlarını ve algoritmada sıkça karşımıza çıkan nicelik kavramlarını öğreneceğiz. Mantık bağlaçları, karmaşık önermeler oluşturmak ve bu önermelerin doğruluk değerlerini belirlemek için temel araçlardır. Nicelikler ise bir kümedeki elemanların varlığı veya tamamı hakkında bilgi verir.

Mantık Bağlaçları

Mantıkta önermeler doğru (1) veya yanlış (0) değerini alabilir. Bu önermeleri birleştirerek yeni önermeler oluşturmak için çeşitli mantık bağlaçları kullanılır.

1. Ve (∧) Bağlacı

"Ve" bağlacı, iki önermenin de doğru olduğu durumda sonucun doğru olduğu tek durumdur. Diğer tüm durumlarda sonuç yanlıştır.

• Örnek: \( p \): "Bugün hava güneşli." \( q \): "Bugün dışarı çıkacağım."
• \( p \land q \): "Bugün hava güneşli VE bugün dışarı çıkacağım." Bu önermenin doğru olması için hem havanın güneşli olması hem de dışarı çıkılması gerekir.

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

2. Veya (∨) Bağlacı

"Veya" bağlacı, önermelerden en az birinin doğru olduğu durumda sonucun doğru olduğu bağlaçtır. Her ikisi de yanlış olduğunda sonuç yanlıştır.

Örnek: \( p \): "Sınavdan geçtim." \( q \): "Öğretmenim beni takdir etti."
\( p \lor q \): "Sınavdan geçtim VEYA öğretmenim beni takdir etti." Bu önermenin doğru olması için ya sınavdan geçmiş olmam ya da öğretmenim tarafından takdir edilmiş olmam yeterlidir.

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

3. Ya Da (⊕) Bağlacı

"Ya da" bağlacı, önermelerden yalnızca birinin doğru olduğu durumda sonucun doğru olduğu bağlaçtır. İkisi de doğru veya ikisi de yanlış olduğunda sonuç yanlıştır.

p	q	\( p \oplus q \)
1	1	0
1	0	1
0	1	1
0	0	0

4. İse (→) Bağlacı

"İse" bağlacı, yalnızca birinci önerme doğru olup ikinci önerme yanlış olduğunda sonuç yanlıştır. Diğer tüm durumlarda sonuç doğrudur.

• Örnek: \( p \): "Yağmur yağıyor." \( q \): "Yer ıslanır."
• \( p \rightarrow q \): "Eğer yağmur yağıyorsa, yer ıslanır."

p	q	\( p \rightarrow q \)
1	1	1
1	0	0
0	1	1
0	0	1

5. Ancak ve Ancak (↔) Bağlacı

"Ancak ve ancak" bağlacı, iki önermenin doğruluk değerleri aynı olduğunda sonuç doğrudur. Doğruluk değerleri farklı olduğunda sonuç yanlıştır.

p	q	\( p \leftrightarrow q \)
1	1	1
1	0	0
0	1	0
0	0	1

Nicelikler

Nicelikler, bir küme veya bir grup eleman hakkında genelleme yapmamızı sağlayan ifadelerdir. Algoritma ve matematikte iki temel nicelik belirleyici kullanılır:

1. Evrensel Nicelik Belirteci (∀)

"Her ... için" veya "Tüm ... için" anlamına gelir. Bir kümedeki tüm elemanlar için bir özelliğin geçerli olduğunu belirtir.

• Örnek: \( \forall x \in \mathbb{R}, x^2 \ge 0 \) (Her gerçel sayı x için, x'in karesi sıfırdan büyüktür.)

2. Varoluşsal Nicelik Belirteci (∃)

"En az bir ... vardır" veya "Bazı ... için" anlamına gelir. Bir kümede belirtilen özelliği sağlayan en az bir elemanın var olduğunu belirtir.

• Örnek: \( \exists x \in \mathbb{Z}, x > 5 \) (5'ten büyük en az bir tam sayı vardır. Örneğin 6, 7, 8...)

Günlük Yaşamdan Örnekler

• Ve (∧): "Bugün hem matematik hem de fizik dersim var." (İkisinin de olması gerekir.)
• Veya (∨): "Akşam yemeğinde tavuk veya balık yiyebiliriz." (Birinin olması yeterlidir.)
• ∀: "Bir sınıftaki tüm öğrenciler sınavdan geçerse, sınıf ortalaması yükselir."
• ∃: "Bu şehirde yaşayan ve futbol oynayan en az bir kişi vardır."

Çözümlü Örnek

Verilen önermeler: \( p \): "Bugün Pazartesi." \( q \): "Hafta sonu tatil."

Aşağıdaki önermelerin doğruluk değerlerini bulunuz:

1. \( p \land q \)
2. \( p \lor q \)
3. \( p \rightarrow q \)

Çözüm:

Bugün Pazartesi ise \( p \) önermesi yanlıştır (0). Hafta sonu tatil değildir, bu nedenle \( q \) önermesi de yanlıştır (0).

1. \( p \land q \): \( 0 \land 0 = 0 \) (Yanlış)
2. \( p \lor q \): \( 0 \lor 0 = 0 \) (Yanlış)
3. \( p \rightarrow q \): \( 0 \rightarrow 0 = 1 \) (Doğru)