🎓 9. Sınıf Niceleyiciler Test 2 - Ders Notu ve İpuçları
Bu ders notu, 9. sınıf matematik müfredatında yer alan "Niceleyiciler" konusunu ve bu konuyla ilişkili temel mantık kavramlarını kapsar. Testteki sorular, önermelerin doğruluk değerlerini bulma, sözel ifadeleri sembolik dile çevirme, niceleyicili önermelerin ve bileşik önermelerin değilini alma, açık önermelerin doğruluk kümelerini belirleme ve temel ispat yöntemlerini anlama becerilerini ölçmektedir. Bu notlar, sınav öncesi son tekrarınız için size yol gösterecektir. 🚀
1. Önermeler ve Açık Önermeler
- Önerme: Doğru ya da yanlış kesin bir hüküm bildiren ifadelere önerme denir. Bir önerme aynı anda hem doğru hem de yanlış olamaz.
- Doğruluk Değeri: Bir önerme doğru ise doğruluk değeri 1 (D), yanlış ise 0 (Y) ile gösterilir.
- Açık Önerme: İçinde değişken (x, y, z gibi) bulunan ve bu değişkenlere verilen değerlere göre doğruluk değeri değişen ifadelere açık önerme denir. Genellikle $p(x)$, $q(x, y)$ gibi gösterilir.
- Doğruluk Kümesi: Bir açık önermeyi doğru yapan değişken değerlerinin oluşturduğu kümeye o açık önermenin doğruluk kümesi denir.
- 💡 İpucu: Bir açık önermenin doğruluk değerini bulmak için, verilen değişken değerini önermedeki yerine koyup ifadenin doğru olup olmadığını kontrol edin.
- Örnek: $p(x): "x \in \mathbb{Z}, 3x - 5 < -4"$ açık önermesi için $x=0$ değerini yerine koyarsak: $3(0) - 5 < -4 \Rightarrow -5 < -4$. Bu ifade doğru olduğu için $p(0)$'ın doğruluk değeri 1'dir.
2. Sayı Kümeleri – Temel Bilgiler
Matematikte sıkça kullanılan sayı kümelerini bilmek, niceleyicili önermelerin doğruluk değerlerini belirlerken çok önemlidir.
- Doğal Sayılar ($\mathbb{N}$): Sayma sayıları ve sıfırdan oluşan kümedir. $\mathbb{N} = \{0, 1, 2, 3, ...\}$
- Tam Sayılar ($\mathbb{Z}$): Doğal sayılar ve negatif tam sayılardan oluşan kümedir. $\mathbb{Z} = \{..., -3, -2, -1, 0, 1, 2, 3, ...\}$
- Rasyonel Sayılar ($\mathbb{Q}$): $a/b$ şeklinde yazılabilen sayılardır ($b \neq 0$). $\mathbb{Q} = \{a/b \mid a \in \mathbb{Z}, b \in \mathbb{Z}, b \neq 0\}$
- Gerçek (Reel) Sayılar ($\mathbb{R}$): Rasyonel ve irrasyonel sayıların birleşimiyle oluşan en geniş sayı kümesidir. Sayı doğrusundaki tüm noktaları temsil eder.
3. Niceleyiciler – Evrensel ve Varlıksal 🌍
Niceleyiciler, bir önermenin kaç eleman için geçerli olduğunu belirtir.
- Evrensel Niceleyici ($\forall$): "Her", "Bütün", "Tüm", "Herhangi bir" gibi anlamlara gelir. Bir önermenin, belirtilen kümedeki her eleman için doğru olduğunu ifade eder.
- $\forall x, P(x)$: "Her $x$ için $P(x)$ doğrudur."
- ⚠️ Dikkat: Evrensel niceleyicili bir önermenin doğru olması için, kümedeki tüm elemanlar için doğru olması gerekir. Tek bir karşıt örnek (önermeyi yanlış yapan bir eleman), önermeyi yanlış yapar.
- Örnek: "Her doğal sayının karesi pozitiftir." ($\forall x \in \mathbb{N}, x^2 > 0$). Bu önerme yanlıştır, çünkü $x=0$ için $0^2 = 0$ ve $0$ pozitif değildir.
- Varlıksal Niceleyici ($\exists$): "Bazı", "En az bir", "Kimileri" gibi anlamlara gelir. Bir önermenin, belirtilen kümedeki en az bir eleman için doğru olduğunu ifade eder.
- $\exists x, P(x)$: "En az bir $x$ için $P(x)$ doğrudur."
- 💡 İpucu: Varlıksal niceleyicili bir önermenin doğru olması için, kümede önermeyi doğru yapan sadece bir tane bile eleman bulmak yeterlidir.
- Örnek: "Bazı tam sayılar 5'ten küçüktür." ($\exists x \in \mathbb{Z}, x < 5$). Bu önerme doğrudur, çünkü örneğin $x=1$ için $1 < 5$ doğrudur.
4. Önermelerin Değili (Olumsuzu) ve Niceleyiciler 🔄
Bir önermenin değilini almak, o önermeyi tam tersi bir anlama getirmektir.
- Niceleyicili Önermelerin Değili:
- Evrensel niceleyici, varlıksal niceleyiciye dönüşür ve önermenin kendisinin değili alınır: $(\forall x, P(x))' \equiv \exists x, P'(x)$
- Varlıksal niceleyici, evrensel niceleyiciye dönüşür ve önermenin kendisinin değili alınır: $(\exists x, P(x))' \equiv \forall x, P'(x)$
- Eşitsizliklerin Değili:
- $(A < B)' \equiv A \ge B$
- $(A > B)' \equiv A \le B$
- $(A = B)' \equiv A \neq B$
- Örnek: $(\forall x \in \mathbb{Z}, x^2 < -1)' \equiv \exists x \in \mathbb{Z}, x^2 \ge -1$
- Bileşik Önermelerin Değili:
- "Ve" ($\wedge$) bağlacının değili (De Morgan Kuralı): $(p \wedge q)' \equiv p' \vee q'$
- "Veya" ($\vee$) bağlacının değili (De Morgan Kuralı): $(p \vee q)' \equiv p' \wedge q'$
- "İse" ($\Rightarrow$) bağlacının değili: $(p \Rightarrow q)' \equiv p \wedge q'$
- Örnek: $(\forall x, x+1 \ge 0 \Rightarrow (\exists x, x^2 \neq 0 \wedge \forall x, x < 3))'$
- Önce $p \Rightarrow q$ formülünü uygularız: $p \wedge q'$
- $p$ kısmı: $(\forall x, x+1 \ge 0)$
- $q$ kısmı: $(\exists x, x^2 \neq 0 \wedge \forall x, x < 3)$
- $q'$ kısmı: $(\exists x, x^2 \neq 0 \wedge \forall x, x < 3)' \equiv (\exists x, x^2 \neq 0)' \vee (\forall x, x < 3)'$
- $q'$ kısmı devam: $(\forall x, x^2 = 0) \vee (\exists x, x \ge 3)$
- Sonuç: $(\forall x, x+1 \ge 0) \wedge ((\forall x, x^2 = 0) \vee (\exists x, x \ge 3))$
5. "İse" Önermesinin Özel Durumları (Koşullu Önermeler) ➡️
$p \Rightarrow q$ şeklindeki bir önermeye koşullu önerme denir. Bu önermenin farklı türevleri vardır:
- Karşıtı: Yer değiştirme. $q \Rightarrow p$
- Tersi: Değillerini alma. $p' \Rightarrow q'$
- Karşıt Tersi: Hem yer değiştirme hem de değillerini alma. $q' \Rightarrow p'$
- 💡 İpucu: Bir önerme ile onun karşıt tersi birbirine denktir. Yani, $(p \Rightarrow q) \equiv (q' \Rightarrow p')$. Bu denklik, ispat yöntemlerinde sıkça kullanılır.
- Örnek: "Bütün kanatlı hayvanlar uçabilir ise bazı dört ayaklı hayvanlar yüzemez."
- $p$: "Bütün kanatlı hayvanlar uçabilir."
- $q$: "Bazı dört ayaklı hayvanlar yüzemez."
- Karşıtı: $q \Rightarrow p$ ("Bazı dört ayaklı hayvanlar yüzemez ise bütün kanatlı hayvanlar uçabilir.")
- Karşıt Tersi: $q' \Rightarrow p'$ ("Bütün dört ayaklı hayvanlar yüzer ise bazı kanatlı hayvanlar uçamaz.")
6. İspat Yöntemleri 🧐
Matematikte bir ifadenin doğruluğunu veya yanlışlığını göstermek için çeşitli ispat yöntemleri kullanılır.
- Aksine Örnek Yöntemi: Bir önermenin yanlış olduğunu göstermek için, o önermeyi yanlış yapan tek bir örnek bulmak yeterlidir. Genellikle evrensel niceleyicili önermelerin yanlışlığını ispatlamak için kullanılır.
- Örnek: "Her gerçek sayının karesi pozitiftir." önermesinin yanlış olduğunu göstermek için $x=0$ bir aksine örnektir, çünkü $0 \in \mathbb{R}$ ve $0^2 = 0$, ki $0$ pozitif değildir.
- Olmayana Ergi Yöntemi (Dolaylı İspat veya Çelişki Yöntemi): İspatlanmak istenen önermenin doğru olduğunu doğrudan göstermek yerine, önermenin değilinin doğru olduğunu varsayarak bir çelişkiye ulaşılır. Bu çelişki, başlangıçtaki varsayımın (önermenin değilinin doğru olduğu) yanlış olduğunu ve dolayısıyla orijinal önermenin doğru olduğunu kanıtlar.
- Adımlar:
- İspatlanacak önermenin değilini doğru kabul et.
- Bu varsayımdan yola çıkarak mantıksal adımlarla bir çelişkiye (örneğin, $p \wedge p'$ gibi) ulaş.
- Çelişkiye ulaşıldığı için, başlangıçtaki varsayımın yanlış olduğunu ve dolayısıyla orijinal önermenin doğru olduğunu sonucuna var.
- Örnek: "$\sqrt{2}$ bir rasyonel sayı değildir." önermesini ispatlamak için, "$\sqrt{2}$ bir rasyonel sayıdır." varsayımıyla başlanır ve bu varsayımın bir çelişkiye yol açtığı gösterilir.
- Adımlar:
- Karşıt Ters Yöntemi: Bu yöntem, aslında olmayana ergi yönteminin özel bir halidir. $p \Rightarrow q$ şeklindeki bir önermenin doğruluğunu ispatlamak için, ona denk olan $q' \Rightarrow p'$ önermesinin doğruluğu ispatlanır. Yani, sonucun değilinin doğru olması durumunda, başlangıçtaki koşulun da değilinin doğru olması gerektiği gösterilir.
- Örnek: "$x^2$ tek sayı ise $x$ tek sayıdır." önermesini ispatlamak için, karşıt tersi olan "$x$ çift sayı ise $x^2$ çift sayıdır." önermesi ispatlanır.
Bu ders notları ve ipuçları, niceleyiciler konusundaki bilginizi pekiştirmenize ve testteki çeşitli soru tipleriyle başa çıkmanıza yardımcı olacaktır. Başarılar dileriz! 🌟