🎓 Açık önerme nedir Test 1 - Ders Notu
Bu ders notu, "Açık önerme nedir Test 1" sınavında karşılaşacağınız temel kavramları, açık önermenin tanımını, doğruluk kümesini ve niceleyicilerin kullanımını sade bir dille açıklamaktadır.
📌 Önerme Nedir?
Matematiksel mantıkta önerme, doğru ya da yanlış kesin bir hüküm bildiren ifadelere denir. Bir önerme aynı anda hem doğru hem yanlış olamaz.
- Doğruluk değeri (D/Y) vardır.
- Soru, emir, istek cümleleri önerme değildir.
- Örnek: "Ankara, Türkiye'nin başkentidir." (Doğru bir önerme)
- Örnek: "2 + 3 = 7." (Yanlış bir önerme)
📝 Açık Önerme Nedir?
İçinde en az bir değişken (bilinmeyen) bulunduran ve bu değişkene verilen değerlere göre doğru veya yanlış olabilen ifadelere açık önerme denir. Açık önermeler genellikle $P(x)$, $Q(x,y)$ gibi sembollerle gösterilir.
- Değişken içerirler (örneğin $x$, $y$).
- Değişkenlere bir değer verilene kadar kesin bir doğruluk değeri taşımazlar.
- Örnek: "$P(x): x + 3 = 7$" ifadesi bir açık önermedir. Eğer $x=4$ olursa doğru, $x=5$ olursa yanlış olur.
- Örnek: "$Q(y): y$ bir asal sayıdır." ifadesi bir açık önermedir. $y=7$ için doğru, $y=6$ için yanlıştır.
💡 İpucu: Açık önermeyi, değişkenin yerine bir sayı koyduğunuzda bir önermeye dönüşen bir cümle gibi düşünebilirsiniz.
🎯 Açık Önermenin Doğruluk Kümesi
Bir açık önermeyi doğru yapan tüm değişken değerlerinin oluşturduğu kümeye doğruluk kümesi denir. Genellikle "D" veya "Ç" (çözüm kümesi) ile gösterilir.
- Örnek: "$P(x): x + 3 = 7$" açık önermesinin evrensel kümesi tam sayılar ($\mathbb{Z}$) ise, doğruluk kümesi $D = \{4\}$ olur. Çünkü sadece $x=4$ için önerme doğru olur.
- Örnek: "$Q(x): x^2 < 10$" açık önermesinin evrensel kümesi doğal sayılar ($\mathbb{N}$) ise, doğruluk kümesi $D = \{0, 1, 2, 3\}$ olur. ($0^2=0$, $1^2=1$, $2^2=4$, $3^2=9$ hepsi 10'dan küçüktür.)
- Bir açık önermenin doğruluk kümesi boş küme ($\emptyset$) de olabilir. Örneğin, "$P(x): x^2 = -1$" açık önermesinin gerçel sayılar kümesindeki doğruluk kümesi $\emptyset$'dir.
🔢 Niceleyiciler: Her ($\forall$) ve Bazı ($\exists$)
Açık önermeleri önermeye dönüştürmenin bir yolu da niceleyiciler kullanmaktır. Bu niceleyiciler, değişkenin hangi değerler için geçerli olduğunu belirtir.
🔍 Evrensel Niceleyici (Her, $\forall$)
"Her" veya "Bütün" anlamına gelir ve $\forall$ sembolü ile gösterilir. Bir açık önermenin, belirtilen kümedeki tüm elemanlar için doğru olduğunu ifade eder.
- Örnek: "$\forall x \in \mathbb{N}, x+1 > x$" (Her doğal sayı için, kendisinin 1 fazlası kendisinden büyüktür.) Bu doğru bir önermedir.
- Örnek: "$\forall x \in \mathbb{Z}, x^2 > 0$" (Her tam sayı için, karesi sıfırdan büyüktür.) Bu yanlış bir önermedir, çünkü $x=0$ için $0^2=0$ ve $0>0$ yanlış olur.
💡 Varlıksal Niceleyici (Bazı, $\exists$)
"Bazı", "En az bir" veya "Vardır" anlamına gelir ve $\exists$ sembolü ile gösterilir. Bir açık önermenin, belirtilen kümedeki en az bir eleman için doğru olduğunu ifade eder.
- Örnek: "$\exists x \in \mathbb{N}, x^2 = 9$" (Bazı doğal sayılar için karesi 9'a eşittir.) Bu doğru bir önermedir, çünkü $x=3$ için önerme doğrudur.
- Örnek: "$\exists x \in \mathbb{Z}, x+5 = 2$" (Bazı tam sayılar için $x+5=2$.) Bu doğru bir önermedir, çünkü $x=-3$ için önerme doğrudur.
- Örnek: "$\exists x \in \mathbb{N}, x^2 = -4$" (Bazı doğal sayılar için karesi -4'e eşittir.) Bu yanlış bir önermedir, çünkü doğal sayılar içinde karesi -4 olan bir sayı yoktur.
❌ Açık Önermelerin Değili (Olumsuzu)
Bir açık önermenin veya niceleyici içeren bir önermenin değilini (olumsuzunu) alırken bazı kurallara dikkat etmeliyiz.
- Bir açık önerme $P(x)$'in değili $P'(x)$ veya $\neg P(x)$ şeklinde gösterilir. Örneğin, "$P(x): x > 5$" ise, "$P'(x): x \le 5$" olur.
- Niceleyicilerin değili:
- "Her" niceleyicisinin değili "Bazı" olur: $\neg (\forall x, P(x)) \equiv \exists x, \neg P(x)$
- "Bazı" niceleyicisinin değili "Her" olur: $\neg (\exists x, P(x)) \equiv \forall x, \neg P(x)$
- Örnek: "$P: \forall x \in \mathbb{Z}, x^2 \ge 0$" önermesinin değili:
- $\neg P: \exists x \in \mathbb{Z}, \neg (x^2 \ge 0)$ yani $\exists x \in \mathbb{Z}, x^2 < 0$.
- Örnek: "$Q: \exists x \in \mathbb{N}, x < 0$" önermesinin değili:
- $\neg Q: \forall x \in \mathbb{N}, \neg (x < 0)$ yani $\forall x \in \mathbb{N}, x \ge 0$.
⚠️ Dikkat: Değilini alırken sadece niceleyiciyi değil, aynı zamanda açık önermenin kendisinin de değilini almayı unutmayın!
