Niceleyicilerin olumsuzu (değili) nasıl alınır Test 1

$\forall x \in \mathbb{R}$ için $x^2 > 4$ önermesinin olumsuzu aşağıdakilerden hangisidir?

A) $\forall x \in \mathbb{R}$ için $x^2 \leq 4$
B) $\exists x \in \mathbb{R}$ için $x^2 \leq 4$
C) $\forall x \in \mathbb{R}$ için $x^2 < 4$
D) $\exists x \in \mathbb{R}$ için $x^2 > 4$

Merhaba sevgili öğrenciler, bu soruda bir önermenin olumsuzunu (değilini) nasıl alacağımızı adım adım inceleyeceğiz. Mantık konusunda niceleyicili önermelerin olumsuzunu almak için belirli kuralları bilmemiz gerekiyor.

• 1. Adım: Verilen Önermeyi Anlayalım

  Bize verilen önerme şudur: $\forall x \in \mathbb{R}$ için $x^2 > 4$.

  Bu önerme, "Tüm gerçek sayılar $x$ için, $x^2$ değeri $4$'ten büyüktür." anlamına gelir.

  • Buradaki $\forall$ sembolü "her" veya "tüm" anlamına gelen evrensel niceleyiciyi (universal quantifier) ifade eder.
  • $x \in \mathbb{R}$ ifadesi, $x$'in bir gerçek sayı olduğunu belirtir.
  • $x^2 > 4$ ise önermenin koşul kısmıdır.

• 2. Adım: Niceleyicinin Olumsuzunu (Değilini) Alalım

  Bir önermenin olumsuzunu alırken, niceleyicinin de olumsuzunu almamız gerekir.

  • Evrensel niceleyici $\forall$'nın olumsuzu, varlıksal niceleyici $\exists$'dir. ($\exists$ "bazı", "en az bir" veya "vardır ki" anlamına gelir.)
  • Yani, $\forall x \in \mathbb{R}$ ifadesinin olumsuzu $\exists x \in \mathbb{R}$ olur.

• 3. Adım: Eşitsizliğin Olumsuzunu (Değilini) Alalım

  Önermenin koşul kısmı $x^2 > 4$ eşitsizliğidir.

  Bir eşitsizliğin olumsuzunu alırken, o eşitsizliğin tam tersini düşünmeliyiz:

  • "$>$" (büyüktür) ifadesinin olumsuzu "$ \leq $" (küçük veya eşittir) ifadesidir.
  • "$<$" (küçüktür) ifadesinin olumsuzu "$ \geq $" (büyük veya eşittir) ifadesidir.
  • "$ \geq $" (büyük veya eşittir) ifadesinin olumsuzu "$ < $" (küçüktür) ifadesidir.
  • "$ \leq $" (küçük veya eşittir) ifadesinin olumsuzu "$ > $" (büyüktür) ifadesidir.

  Bu durumda, $x^2 > 4$ ifadesinin olumsuzu $x^2 \leq 4$ olur.

• 4. Adım: Olumsuzları Birleştirelim

  Şimdi bulduğumuz olumsuz niceleyiciyi ve olumsuz eşitsizliği birleştirelim.

  • Orijinal önerme: $\forall x \in \mathbb{R}$ için $x^2 > 4$
  • Niceleyici olumsuzu: $\exists x \in \mathbb{R}$
  • Eşitsizlik olumsuzu: $x^2 \leq 4$

  Bu ikisini birleştirdiğimizde, önermenin olumsuzu $\exists x \in \mathbb{R}$ için $x^2 \leq 4$ olur.

• 5. Adım: Seçenekleri Kontrol Edelim

  Bulduğumuz olumsuz önermeyi seçeneklerle karşılaştıralım:

  • A) $\forall x \in \mathbb{R}$ için $x^2 \leq 4$ (Niceleyici yanlış)
  • B) $\exists x \in \mathbb{R}$ için $x^2 \leq 4$ (Bizim bulduğumuz sonuçla aynı)
  • C) $\forall x \in \mathbb{R}$ için $x^2 < 4$ (Niceleyici yanlış, eşitsizlik yanlış)
  • D) $\exists x \in \mathbb{R}$ için $x^2 > 4$ (Eşitsizlik yanlış)

Bu adımları takip ettiğimizde, doğru cevabın B seçeneği olduğunu görürüz.