Mantık bağlaçları ve niceleyiciler Ders Notu

Mantık Bağlaçları ve Niceleyiciler 🧐

Mantık, doğru ve yanlış önermeler arasındaki ilişkileri inceleyen matematik dalıdır. Bu ilişkileri kurarken kullandığımız bazı temel semboller ve kavramlar vardır. 9. Sınıf mantık müfredatında bu kavramları detaylıca öğreneceğiz.

1. Bileşik Önermeler ve Mantık Bağlaçları

Tek başına bir anlam ifade eden ve doğru ya da yanlış olduğu bilinen ifadelere önerme denir. Birden fazla önermenin mantık bağlaçları ile birleştirilmesiyle elde edilen yeni önermelere ise bileşik önerme denir. Başlıca mantık bağlaçları şunlardır:

a) "ve" Bağlacı (Conjunction - \( \land \))

İki önermenin "ve" bağlacı ile bağlanması sonucunda oluşan bileşik önermenin doğru olması için her iki önermenin de doğru olması gerekir. Diğer tüm durumlarda bileşik önerme yanlıştır.

p: "2 bir çift sayıdır." (Doğru - D)
q: "3 tek sayıdır." (Doğru - D)
p \( \land \) q: "2 bir çift sayıdır ve 3 tek sayıdır." (D \( \land \) D \( \equiv \) D)

Örnek:

p: "Ankara Türkiye'nin başkentidir." (D)
q: "İzmir Ege Bölgesi'ndedir." (D)
r: "Türkiye'nin en yüksek dağı Ağrı Dağı'dır." (D)
s: "Her tam sayı pozitiftir." (Y)

p \( \land \) q önermesi doğrudur.

p \( \land \) s önermesi yanlıştır (D \( \land \) Y \( \equiv \) Y).

b) "veya" Bağlacı (Disjunction - \( \lor \))

İki önermenin "veya" bağlacı ile bağlanması sonucunda oluşan bileşik önermenin yanlış olması için her iki önermenin de yanlış olması gerekir. Diğer tüm durumlarda bileşik önerme doğrudur.

p: "Kare bir dörtgendir." (D)
q: "Üçgenin 4 kenarı vardır." (Y)
p \( \lor \) q: "Kare bir dörtgendir veya üçgenin 4 kenarı vardır." (D \( \lor \) Y \( \equiv \) D)

Örnek:

p: "Bugün Pazartesi." (D veya Y olabilir)
q: "Yarın Salı." (D veya Y olabilir)

Eğer bugün Pazartesi ise (p doğru) ve yarın Salı ise (q doğru), p \( \lor \) q önermesi doğrudur (D \( \lor \) D \( \equiv \) D).

Eğer bugün Pazar ise (p yanlış) ve yarın Pazartesi ise (q yanlış), p \( \lor \) q önermesi yanlıştır (Y \( \lor \) Y \( \equiv \) Y).

c) "ya da" Bağlacı (Exclusive Or - \( \underline{\lor} \))

İki önermenin "ya da" bağlacı ile bağlanması sonucunda oluşan bileşik önermenin doğru olması için önermelerden yalnızca birinin doğru olması gerekir. İkisi de doğru veya ikisi de yanlış ise bileşik önerme yanlıştır.

p: "Sıcak hava." (D)
q: "Yağmur yağıyor." (Y)
p \( \underline{\lor} \) q: "Ya sıcak hava ya da yağmur yağıyor." (D \( \underline{\lor} \) Y \( \equiv \) D)

Örnek:

p: "Sınavdan geçtim."
q: "Sınavdan kaldım."

Bu iki önermeden yalnızca biri doğru olabileceğinden, p \( \underline{\lor} \) q önermesi her zaman doğrudur.

d) "ise" Bağlacı (Conditional - \( \Rightarrow \))

p \( \Rightarrow \) q bileşik önermesi, ancak ve ancak p doğru iken q yanlış olduğunda yanlış olur. Diğer tüm durumlarda doğrudur.

p: "Kar yağıyor." (D)
q: "Hava soğuktur." (D)
p \( \Rightarrow \) q: "Kar yağıyorsa hava soğuktur." (D \( \Rightarrow \) D \( \equiv \) D)

Örnek:

p: "2 + 2 = 5" (Y)
q: "Türkiye'nin başkenti Ankara'dır." (D)
p \( \Rightarrow \) q: "Eğer 2 + 2 = 5 ise, Türkiye'nin başkenti Ankara'dır." (Y \( \Rightarrow \) D \( \equiv \) D)

p: "Bugün tatil." (D)

q: "Okul tatil." (Y)

p \( \Rightarrow \) q: "Bugün tatilse okul tatildir." (D \( \Rightarrow \) Y \( \equiv \) Y)

e) "ancak ve ancak" Bağlacı (Biconditional - \( \Leftrightarrow \))

p \( \Leftrightarrow \) q bileşik önermesi, p ve q önermelerinin doğruluk değerleri aynı olduğunda doğrudur. Farklı doğruluk değerlerine sahip olduklarında ise yanlıştır.

p: "Bir sayının karesi pozitiftir." (D, sıfır hariç)
q: "Bir sayı sıfırdan farklıdır." (D)
p \( \Leftrightarrow \) q: "Bir sayının karesi pozitif ise ancak ve ancak o sayı sıfırdan farklıdır." (D \( \Leftrightarrow \) D \( \equiv \) D)

Örnek:

p: "Bugün güneşli." (D)
q: "Piknik yapıyoruz." (D)
p \( \Leftrightarrow \) q: "Bugün güneşliyse ancak ve ancak piknik yapıyoruz." (D \( \Leftrightarrow \) D \( \equiv \) D)

p: "Sınavı geçtim." (D)

q: "Çok çalıştım." (Y)

p \( \Leftrightarrow \) q: "Sınavı geçtiysem ancak ve ancak çok çalıştım." (D \( \Leftrightarrow \) Y \( \equiv \) Y)

2. Niceleyiciler 🔢

Niceleyiciler, bir kümedeki elemanların bir özelliğe sahip olup olmadığını belirtmek için kullanılır. İki temel niceleyici vardır:

a) Evrensel Niceleyici (Her - \( \forall \))

Bir kümedeki tüm elemanlar için geçerli olan bir özelliği belirtir. "Her", "bütün", "tüm" gibi kelimelerle ifade edilir.

Evren kümesi: Doğal sayılar (\( \mathbb{N} \))
p(x): "x sayısı çifttir."
\( \forall \) x \( \in \) \( \mathbb{N} \), p(x): "Her doğal sayı çifttir." (Bu önerme yanlıştır, çünkü tek sayılar da vardır.)

Örnek:

Evren kümesi: İnsanlar
p(x): "x bir insandır."
\( \forall \) x, p(x): "Herkes bir insandır." (Bu önerme doğrudur.)

b) Varoluşsal Niceleyici (Bazı - \( \exists \))

Bir kümede en az bir elemanın bir özelliği taşıdığını belirtir. "Bazı", "en az bir", "vardır" gibi kelimelerle ifade edilir.

Evren kümesi: Tam sayılar (\( \mathbb{Z} \))
q(x): "x sayısı negatiftir."
\( \exists \) x \( \in \) \( \mathbb{Z} \), q(x): "Bazı tam sayılar negatiftir." (Bu önerme doğrudur, örneğin -5 bir tam sayıdır ve negatiftir.)

Örnek:

Evren kümesi: Öğrenciler
p(x): "x başarılı bir öğrencidir."
\( \exists \) x, p(x): "Bazı öğrenciler başarılıdır." (Bu önerme doğrudur.)

3. Niceleyicilerin Olumsuzları

Niceleyicili önermelerin olumsuzları alınırken dikkatli olunmalıdır:

\( \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 tam sayı pozitiftir." (\( \forall \) x \( \in \) \( \mathbb{Z} \), x > 0)
\( \neg \) p: "Bazı tam sayılar pozitif değildir." (Yani, bazı tam sayılar negatiftir veya sıfırdır.) (\( \exists \) x \( \in \) \( \mathbb{Z} \), x \( \le \) 0)

p: "Bazı öğrenciler gözlüklüdür." (\( \exists \) x, Gözlüklü(x))
\( \neg \) p: "Hiçbir öğrenci gözlüklü değildir." (Yani, tüm öğrenciler gözlüklü değildir.) (\( \forall \) x, \( \neg \) Gözlüklü(x))