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

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

Mantık, doğru düşünmenin kurallarını inceleyen bir bilim dalıdır. Matematikte önermelerle çalışırken kullandığımız bazı temel araçlar vardır: mantık bağlaçları ve niceleyiciler. Bu dersimizde, bu kavramları 9. sınıf müfredatı çerçevesinde detaylıca inceleyeceğiz.

1. Mantık Bağlaçları

Önermeleri birleştirerek yeni önermeler oluşturmak için mantık bağlaçlarını kullanırız. En temel mantık bağlaçları şunlardır:

a) "ve" Bağlacı (∧)

İki önermenin de doğru olduğu durumda sonucun doğru olduğu bağlaçtır. Doğruluk tablosu şu şekildedir:

p	q	p ∧ q
D	D	D
D	Y	Y
Y	D	Y
Y	Y	Y

Örnek: "Bugün hava güneşli" (p) ve "Okula yürüdüm" (q) önermeleri için, "Bugün hava güneşli ve okula yürüdüm" önermesi ancak her iki önerme de doğru ise doğrudur.

b) "veya" Bağlacı (∨)

İki önermeden en az birinin doğru olduğu durumda sonucun doğru olduğu bağlaçtır. Doğruluk tablosu:

p	q	p ∨ q
D	D	D
D	Y	D
Y	D	D
Y	Y	Y

Örnek: "Sınavdan 80 aldım" (p) veya "Sınavdan 90 aldım" (q) önermeleri için, "Sınavdan 80 aldım veya 90 aldım" önermesi, 80 veya 90 aldığı durumlarda doğrudur.

c) "ya da" Bağlacı (⊕)

İki önermeden sadece biri doğru olduğunda sonucun doğru olduğu bağlaçtır. Doğruluk tablosu:

p	q	p ⊕ q
D	D	Y
D	Y	D
Y	D	D
Y	Y	Y

Örnek: "Bugün sinemaya gideceğim" (p) ya da "Bugün parka gideceğim" (q) önermesi, sadece ikisinden birini seçtiğinde doğrudur.

d) "ise" Bağlacı (→)

Birinci önermenin doğru, ikinci önermenin yanlış olduğu durum dışında her zaman doğrudur. Doğruluk tablosu:

p	q	p → q
D	D	D
D	Y	Y
Y	D	D
Y	Y	D

Örnek: "Kar yağarsa hava soğur." (p → q) Önermesi, kar yağdığı halde havanın soğumadığı tek durumda yanlıştır.

e) "ancak ve ancak" Bağlacı (↔)

İki önermenin de doğruluk değerleri aynı olduğunda doğrudur. Doğruluk tablosu:

p	q	p ↔ q
D	D	D
D	Y	Y
Y	D	Y
Y	Y	D

Örnek: "Bir dörtgen kare ise, tüm kenar uzunlukları eşittir." (p ↔ q) Bu önerme, bir dörtgenin kare olup olmadığı ile tüm kenar uzunluklarının eşit olup olmadığı aynı anda doğru veya aynı anda yanlış ise doğrudur.

f) "değil" Bağlacı (¬)

Bir önermenin doğruluk değerini tersine çevirir. Doğruluk tablosu:

p	¬p
D	Y
Y	D

Örnek: p: "Bugün Pazartesi." ise ¬p: "Bugün Pazartesi değil."

2. Niceleyiciler

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

a) Evrensel Niceleyici (∀) - "Her", "Bütün"

Bir kümedeki tüm elemanların bir özelliği taşıdığını belirtir. Örnek: ∀x ∈ R, x² ≥ 0. (Her reel sayı x için, x'in karesi sıfırdan büyüktür veya eşittir.)

b) Varoluşsal Niceleyici (∃) - "En az bir", "Bazı"

Bir kümede özelliği taşıyan en az bir elemanın var olduğunu belirtir. Örnek: ∃x ∈ Z, x + 5 = 7. (Tam sayılar kümesinde öyle bir x vardır ki, x + 5 = 7'dir. Bu x=2'dir.)

Çözümlü Örnekler

Soru 1: p: "2 tek sayıdır." ve q: "3 çift sayıdır." önermeleri veriliyor. p ∧ q önermesinin doğruluk değerini bulunuz.

Çözüm:

p önermesi yanlıştır (Y).

q önermesi yanlıştır (Y).

p ∧ q önermesi, her iki önerme de doğru olmadığından yanlıştır (Y).

Soru 2: A = {1, 2, 3, 4} kümesi veriliyor. ∀x ∈ A, x < 5 önermesinin doğruluk değerini bulunuz.

Çözüm:

A kümesindeki tüm elemanlar (1, 2, 3, 4) 5'ten küçüktür. Bu nedenle evrensel niceleyici ile ifade edilen önerme doğrudur (D).

Soru 3: p: "Türkiye'nin başkenti Ankara'dır." ve q: "Türkiye'nin nüfusu 100 milyondur." önermeleri veriliyor. p → q önermesinin doğruluk değerini bulunuz.

Çözüm:

p önermesi doğrudur (D).

q önermesi yanlıştır (Y).

p → q önermesi, doğru bir önermeden yanlış bir önermeye gidildiği için yanlıştır (Y).