Niceliyiciler ve Mantık Bağlaçları Ders Notu

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

Mantık, önermelerin doğruluğunu veya yanlışlığını inceleyen bir bilim dalıdır. Önermeler, doğru veya yanlış hüküm bildiren ifâdelerdir. Matematiksel mantıkta önermeleri daha karmaşık yapılar hâline getirmek için niceliyiciler ve mantık bağlaçları kullanılır. Bu dersimizde, 9. sınıf müfredatı çerçevesinde bu iki önemli kavramı detaylıca inceleyeceğiz.

1. Niceliyiciler

Niceliyiciler, bir önermenin belirli bir küme içindeki elemanlar için geçerli olup olmadığını ifade eden sembollerdir. İki temel niceliyici vardır:

• "Her" Niceliyicisi (Evrensel Niceliyici): Her elemanın özelliği taşıdığını belirtir. Sembolü \( \forall \) şeklindedir.
• "Bazı" Niceliyicisi (Varoluşsal Niceliyici): Küme içinde en az bir elemanın özelliği taşıdığını belirtir. Sembolü \( \exists \) şeklindedir.

Niceliyicilerin Kullanımı ve Değili

Bir önermede niceliyici varsa, bu önermenin değili alınırken niceliyici değişir ve önermenin kendisi de değilini alır.

• \( \forall x, P(x) \) önermesinin değili \( \exists x, \neg P(x) \) şeklindedir.
• \( \exists x, P(x) \) önermesinin değili \( \forall x, \neg P(x) \) şeklindedir.

Örnek 1:

A kümesi \( \{1, 2, 3\} \) olsun.

Önerme P: \( \forall x \in A, x > 0 \). Bu önerme doğrudur, çünkü A kümesindeki her eleman 0'dan büyüktür.

Önerme P'nin değili: \( \exists x \in A, x \le 0 \). Bu önerme yanlıştır, çünkü A kümesinde 0'dan küçük veya eşit bir eleman yoktur.

Örnek 2:

B kümesi \( \{-2, 0, 5\} \) olsun.

Önerme Q: \( \exists x \in B, x < 0 \). Bu önerme doğrudur, çünkü B kümesinde -2 elemanı 0'dan küçüktür.

Önerme Q'nun değili: \( \forall x \in B, x \ge 0 \). Bu önerme yanlıştır, çünkü B kümesinde -2 elemanı 0'dan büyük veya eşit değildir.

2. Mantık Bağlaçları

Mantık bağlaçları, iki veya daha fazla önermeyi birleştirerek yeni bir önerme oluşturan sembollerdir. 9. sınıfta başlıca kullanılan mantık bağlaçları şunlardır:

• "ve" Bağlacı (\( \land \)): İki önermenin de doğru olması durumunda sonuç önerme doğrudur.
• "veya" Bağlacı (\( \lor \)): İki önermeden en az birinin doğru olması durumunda sonuç önerme doğrudur.
• "ise" Bağlacı (\( \implies \)): Birinci önerme doğru iken ikinci önerme yanlış ise sonuç önerme yanlıştır. Diğer tüm durumlarda doğrudur.
• "ancak ve ancak" Bağlacı (\( \iff \)): İki önermenin doğruluk değerleri aynı ise sonuç önerme doğrudur.
• "değil" Bağlacı (\( \neg \)): Bir önermenin doğruluk değerini tersine çevirir.

Doğruluk Tabloları

Mantık bağlaçlarının doğruluk değerlerini gösteren tablolara doğruluk tabloları denir. Aşağıda en sık kullanılan bağlaçlar için doğruluk tabloları verilmiştir. P ve Q iki önerme olsun.

"ve" Bağlacı (\( \land \))

P	Q	\( P \land Q \)
D	D	D
D	Y	Y
Y	D	Y
Y	Y	Y

"veya" Bağlacı (\( \lor \))

P	Q	\( P \lor Q \)
D	D	D
D	Y	D
Y	D	D
Y	Y	Y

"ise" Bağlacı (\( \implies \))

P	Q	\( P \implies Q \)
D	D	D
D	Y	Y
Y	D	D
Y	Y	D

"ancak ve ancak" Bağlacı (\( \iff \))

P	Q	\( P \iff Q \)
D	D	D
D	Y	Y
Y	D	Y
Y	Y	D

"değil" Bağlacı (\( \neg \))

P	\( \neg P \)
D	Y
Y	D

Örnek 3:

p: "Bugün Pazartesi." (Doğru kabul edelim)

q: "Hava yağmurlu." (Yanlış kabul edelim)

\( p \land q \): "Bugün Pazartesi ve hava yağmurlu." (Yanlış)

\( p \lor q \): "Bugün Pazartesi veya hava yağmurlu." (Doğru)

\( p \implies q \): "Bugün Pazartesi ise hava yağmurlu." (Yanlış)

\( q \implies p \): "Hava yağmurlu ise bugün Pazartesi." (Doğru)

\( p \iff q \): "Bugün Pazartesi ancak ve ancak hava yağmurlu." (Yanlış)

\( \neg p \): "Bugün Pazartesi değil." (Yanlış)

Örnek 4:

Aşağıdaki bileşik önermenin doğruluk değerini bulalım:

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

p: "2 tek sayıdır." (Yanlış)

q: "3 çift sayıdır." (Yanlış)

Önce \( p \lor q \) önermesini hesaplayalım:

\( p \lor q \): "2 tek sayıdır veya 3 çift sayıdır." (Yanlış \( \lor \) Yanlış = Yanlış)

Sonra \( \neg p \) önermesini hesaplayalım:

\( \neg p \): "2 tek sayı değildir." (Doğru)

Şimdi bu iki sonucu "ve" bağlacı ile birleştirelim:

\( (p \lor q) \land (\neg p) \): (Yanlış) \( \land \) (Doğru) = Yanlış

Bu bileşik önermenin doğruluk değeri Yanlış'tır.

Niceliyiciler ve mantık bağlaçları, mantıksal akıl yürütmenin temel taşlarıdır. Bu kavramları iyi anlamak, matematiksel ifadeleri doğru yorumlamak ve karmaşık problemleri çözmek için kritik öneme sahiptir.