Niceleyiciler ve mantık bağlaçları Ders Notu

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

Mantık, önermelerle ilgilenen bir bilim dalıdır. Önermeler, doğru veya yanlış kesin olarak hüküm bildiren ifadelerdir. Niceleyiciler, önermelerin doğruluğunu veya yanlışlığını belirli bir küme üzerinde incelememizi sağlayan sembollerdir. Mantık bağlaçları ise birden fazla önermeyi birleştirerek yeni önermeler oluşturmamızı sağlar.

Niceleyiciler

Niceleyiciler, bir kümedeki elemanların bir özelliğe sahip olup olmadığını ifade etmek için kullanılır. Temel niceleyiciler şunlardır:

• Evrensel Niceleyici (∀): "Her", "Bütün", "Her zaman" gibi anlamlara gelir. Bir kümedeki tüm elemanların bir özelliği taşıdığını belirtir.
• Varoluşsal Niceleyici (∃): "Bazı", "En az bir", "Var" gibi anlamlara gelir. Bir kümede bu özelliği taşıyan en az bir elemanın var olduğunu belirtir.

Örnek:

• \( \forall x \in \mathbb{R}, x^2 \ge 0 \) (Her gerçek sayının karesi sıfırdan büyüktür veya eşittir.)
• \( \exists x \in \mathbb{Z}, x > 5 \) (5'ten büyük en az bir tam sayı vardır.)

Mantık Bağlaçları

Mantık bağlaçları, önermeleri birbirine bağlayarak daha karmaşık önermeler oluşturmak için kullanılır. Başlıca mantık bağlaçları şunlardır:

1. VE (∧) Bağlacı

İki önermenin de doğru olması durumunda sonuç doğru olan bağlaçtır.

• p: "Bugün hava güneşli."
• q: "Bugün tatil."
• \( p \land q \): "Bugün hava güneşli VE bugün tatil."

Bu birleşik önermenin doğru olması için hem p'nin hem de q'nun doğru olması gerekir.

2. VEYA (∨) Bağlacı

İki önermeden en az birinin doğru olması durumunda sonuç doğru olan bağlaçtır.

• p: "Sınavdan geçtim."
• q: "Sınava yeniden girdim."
• \( p \lor q \): "Sınavdan geçtim VEYA sınava yeniden girdim."

Bu birleşik önermenin doğru olması için p'nin doğru olması, q'nun doğru olması veya her ikisinin de doğru olması yeterlidir.

3. DEĞİL (¬) Bağlacı

Bir önermenin doğruluk değerini tersine çeviren bağlaçtır.

• p: "Sayı çifttir."
• \( \neg p \): "Sayı çift değildir." (Yani, sayı tektir.)

4. İSE (→) Bağlacı (Koşullu Önerme)

Birinci önerme doğru iken ikinci önermenin yanlış olması durumunda sonuç yanlış olan, diğer tüm durumlarda doğru olan bağlaçtır.

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

Bu önermenin yanlış olacağı tek durum, yağmurun yağdığı (p doğru) ama yerin ıslanmadığı (q yanlış) durumdur.

5. ANCAK VE ANCAK (↔) Bağlacı (Bikondisyonel Önerme)

İki önermenin doğruluk değerlerinin aynı olması durumunda sonuç doğru olan bağlaçtır.

• p: "Bu bir karenin dört kenarı eşittir."
• q: "Bu bir karenin dört açısı 90 derecedir."
• \( p \leftrightarrow q \): "Bir dörtgenin dört kenarı eşittir ANCAK VE ANCAK dört açısı da 90 derecedir."

Bu önermenin doğru olması için p ve q'nun ikisinin de doğru veya ikisinin de yanlış olması gerekir.

Doğruluk Tabloları

Mantık bağlaçlarının çalışma prensiplerini ve birleşik önermelerin doğruluk değerlerini göstermek için doğruluk tabloları kullanılır.

VE (∧) Doğruluk Tablosu

p	q	\( p \land q \)
D	D	D
D	Y	Y
Y	D	Y
Y	Y	Y

VEYA (∨) Doğruluk Tablosu

p	q	\( p \lor q \)
D	D	D
D	Y	D
Y	D	D
Y	Y	Y

İSE (→) Doğruluk Tablosu

p	q	\( p \to q \)
D	D	D
D	Y	Y
Y	D	D
Y	Y	D

ANCAK VE ANCAK (↔) Doğruluk Tablosu

p	q	\( p \leftrightarrow q \)
D	D	D
D	Y	Y
Y	D	Y
Y	Y	D