Açık önerme nedir Test 2

🎓 Açık önerme nedir Test 2 - Ders Notu

Merhaba öğrenci! Bu ders notu, "Açık önerme nedir Test 2" testinde karşılaşacağın temel konuları, yani açık önermeleri, doğruluk kümelerini ve niceleyicileri sade bir dille anlamana yardımcı olmak için hazırlandı.

📌 Açık Önerme Nedir?

Günlük hayatta "Bu araba çok hızlıdır" dediğimizde, hangi arabadan bahsettiğimiz belli değilse, bu bir yargı belirtir ama kesin bir doğru ya da yanlış değeri yoktur. Matematikte de benzer bir durum var!

• Tanım: İçinde en az bir değişken (bilinmeyen) bulunan ve bu değişkene verilen değere göre doğru ya da yanlış olabilen ifadelere "açık önerme" denir.
• Özellikleri:
  • Genellikle $P(x)$, $Q(y)$, $R(x, y)$ gibi sembollerle gösterilir. Buradaki $x, y$ birer değişkendir.
  • Değişkene bir değer verildiğinde, ifade ya doğru (D/1) ya da yanlış (Y/0) bir önermeye dönüşür.
• Örnekler:
  • $P(x): x + 5 = 10$ (Burada $x=5$ için doğru, $x=3$ için yanlıştır.)
  • $Q(y): y$ bir asal sayıdır. (Burada $y=7$ için doğru, $y=4$ için yanlıştır.)
  • $R(x, y): x + y = 7$ (Burada $x=3, y=4$ için doğru, $x=1, y=2$ için yanlıştır.)

💡 İpucu: Açık önermeyi, "içi boş bırakılmış bir cümle" gibi düşünebilirsin. O boşluğu doldurduğunda (değişkene değer verdiğinde) cümlenin doğru mu yanlış mı olduğuna karar verebilirsin.

📌 Açık Önermenin Doğruluk Kümesi

Bir açık önermeyi doğru yapan tüm değerlerin bir araya geldiği kümeye doğruluk kümesi denir.

• Tanım: Bir açık önermeyi doğru yapan, belirli bir evrensel küme (çalışma kümesi) içindeki tüm değerlerin kümesidir.
• Gösterim: Genellikle $D_P$ veya $Ç_P$ ile gösterilir.
• Nasıl Bulunur?
  • Öncelikle sana verilen evrensel kümeyi (örneğin doğal sayılar, tam sayılar veya belirli bir sayı kümesi) belirle.
  • Bu kümedeki her bir elemanı açık önermedeki değişken yerine koyarak önermenin doğru olup olmadığını kontrol et.
  • Doğru çıkan tüm elemanları bir küme içine yaz. İşte bu, doğruluk kümesidir!
• Örnek:
  • Evrensel küme $E = \{1, 2, 3, 4, 5\}$ olsun.
  • Açık önerme $P(x): x + 2 > 4$ olsun.
  • $x=1 \implies 1+2 > 4 \implies 3 > 4$ (Yanlış)
  • $x=2 \implies 2+2 > 4 \implies 4 > 4$ (Yanlış)
  • $x=3 \implies 3+2 > 4 \implies 5 > 4$ (Doğru)
  • $x=4 \implies 4+2 > 4 \implies 6 > 4$ (Doğru)
  • $x=5 \implies 5+2 > 4 \implies 7 > 4$ (Doğru)
  • Bu durumda $P(x)$ açık önermesinin doğruluk kümesi $D_P = \{3, 4, 5\}$ olur.

⚠️ Dikkat: Doğruluk kümesini bulurken, değişkenin hangi küme (evrensel küme) içinde değerler alabileceğine çok dikkat etmelisin. Bu küme değişirse doğruluk kümesi de değişebilir!

📌 Niceleyiciler (Quantifiers)

Açık önermeleri, içlerindeki değişkenleri belirli bir şekilde ifade etmek için niceleyiciler kullanırız. İki temel niceleyici vardır:

📝 Evrensel Niceleyici (Her, Bütün, Tüm)

• Anlamı: Bir ifadenin, ele alınan kümedeki "her" eleman için geçerli olduğunu belirtir.
• Sembolü: $\forall$ (Ters A harfi)
• Okunuşu: "Her $x$ için", "Bütün $x$'ler için", "Tüm $x$'ler için".
• Kullanımı: $\forall x \in E, P(x)$ şeklinde yazılır. (E kümesindeki her $x$ elemanı için $P(x)$ önermesi doğrudur.)
• Doğruluk Değeri: Bu tür bir önerme, ancak ve ancak evrensel kümedeki tüm elemanlar için doğruysa doğrudur. Tek bir eleman bile önermeyi yanlış yapıyorsa, tüm ifade yanlıştır.
• Örnek:
  • "Her doğal sayı pozitiftir." ($\forall x \in \mathbb{N}, x > 0$) Bu önerme yanlıştır, çünkü $x=0$ doğal sayı olmasına rağmen pozitif değildir.
  • "Her tek sayının karesi tek sayıdır." ($\forall x \in \mathbb{Z}_{\text{tek}}, x^2 \text{ tek sayıdır}$) Bu önerme doğrudur.

📝 Varlıksal Niceleyici (Bazı, En Az Bir)

• Anlamı: Bir ifadenin, ele alınan kümedeki "en az bir" eleman için geçerli olduğunu belirtir.
• Sembolü: $\exists$ (Ters E harfi)
• Okunuşu: "Bazı $x$'ler için", "En az bir $x$ vardır ki".
• Kullanımı: $\exists x \in E, P(x)$ şeklinde yazılır. (E kümesinde en az bir $x$ elemanı vardır ki $P(x)$ önermesi doğrudur.)
• Doğruluk Değeri: Bu tür bir önerme, evrensel kümede önermeyi doğru yapan en az bir eleman bulunuyorsa doğrudur. Eğer hiçbir eleman önermeyi doğru yapmıyorsa, ifade yanlıştır.
• Örnek:
  • "Bazı doğal sayılar 5'ten küçüktür." ($\exists x \in \mathbb{N}, x < 5$) Bu önerme doğrudur, çünkü $x=0, 1, 2, 3, 4$ gibi doğal sayılar 5'ten küçüktür.
  • "Bazı tam sayıların karesi -1'dir." ($\exists x \in \mathbb{Z}, x^2 = -1$) Bu önerme yanlıştır, çünkü hiçbir tam sayının karesi negatif olamaz.

💡 İpucu: "Her" niceleyicisi çok katıdır, tek bir istisna bile onu yanlış yapar. "Bazı" niceleyicisi ise daha esnektir, tek bir doğru örnek bile onu doğru yapar.

📌 Niceleyicili Önermelerin Değili (Olumsuzu)

Niceleyicili önermelerin değilini almak, hem niceleyiciyi hem de önermenin kendisini değiştirmeyi gerektirir. Tıpkı bir cümlenin olumsuzunu yaparken hem "herkes" kelimesini "bazıları"na çevirip hem de yüklemi olumsuz yapmak gibi.

• Kurallar:
  • "Her" ($\forall$) niceleyicisinin değili "Bazı" ($\exists$) niceleyicisidir.
  • "Bazı" ($\exists$) niceleyicisinin değili "Her" ($\forall$) niceleyicisidir.
  • Önermenin kendisinin ($P(x)$) değili ($P'(x)$ veya $\neg P(x)$) alınır.
• Formüller:
  • $(\forall x, P(x))' \equiv \exists x, P'(x)$
  • $(\exists x, P(x))' \equiv \forall x, P'(x)$
• Örnekler:
  • Önerme: "Her öğrenci ders çalışır." ($\forall x, \text{öğrenci}(x) \implies \text{ders_çalışır}(x)$)
    • Değili: "Bazı öğrenciler ders çalışmaz." ($\exists x, \text{öğrenci}(x) \land \neg \text{ders_çalışır}(x)$)
  • Önerme: "Bazı kuşlar uçar." ($\exists x, \text{kuş}(x) \land \text{uçar}(x)$)
    • Değili: "Her kuş uçmaz." ($\forall x, \text{kuş}(x) \implies \neg \text{uçar}(x)$)
  • Matematiksel Örnek:
    • Önerme: $\forall x \in \mathbb{Z}, x^2 \ge 0$ (Her tam sayının karesi sıfırdan büyüktür veya eşittir.)
    • Değili: $\exists x \in \mathbb{Z}, x^2 < 0$ (Bazı tam sayıların karesi sıfırdan küçüktür.)

⚠️ Dikkat: Niceleyicinin değilini almayı unutmadığın gibi, önermenin kendisinin de değilini almayı sakın unutma! İkisini birden değiştirmen gerekiyor.

Umarım bu notlar testinde sana yardımcı olur! Başarılar dilerim! 💪