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

$\exists x \in \mathbb{Z}, 2x+1=0$ önermesinin olumsuzu aşağıdakilerden hangisidir?

A) $\forall x \in \mathbb{Z}, 2x+1 \neq 0$
B) $\exists x \in \mathbb{Z}, 2x+1 \neq 0$
C) $\forall x \in \mathbb{Z}, 2x+1=0$
D) $\exists x \in \mathbb{Z}, 2x-1=0$

Bir önermenin olumsuzunu (değilini) bulurken, niceleyicilerin ve önermenin kendisinin nasıl değiştiğini bilmemiz gerekir. Adım adım inceleyelim:

• Verilen Önermeyi Anlayalım:

  Önermemiz $\exists x \in \mathbb{Z}, 2x+1=0$ şeklindedir. Bu önerme şu anlama gelir: "Öyle bir $x$ tam sayısı vardır ki, $2x+1=0$ eşitliğini sağlar."

  • $\exists$ sembolü "en az bir tane vardır" veya "bazı" anlamına gelen varlıksal niceleyicidir.
  • $x \in \mathbb{Z}$ ifadesi, $x$'in bir tam sayı olduğunu belirtir.
  • $2x+1=0$ ise önermenin yüklemidir (koşuludur).
• Niceleyicili Önermelerin Olumsuzunu Alma Kuralını Hatırlayalım:

  Bir niceleyicili önermenin olumsuzunu alırken iki temel kural vardır:

  • Varlıksal niceleyici ($\exists$) evrensel niceleyiciye ($\forall$) dönüşür.
  • Evrensel niceleyici ($\forall$) varlıksal niceleyiciye ($\exists$) dönüşür.
  • Önermenin yüklemi (koşulu) da olumsuzlanır.

  Yani, $\neg (\exists x, P(x))$ ifadesinin olumsuzu $\forall x, \neg P(x)$ şeklindedir.

• Önermemizin Olumsuzunu Uygulayalım:

  Verilen önerme $\exists x \in \mathbb{Z}, 2x+1=0$ idi.

  • Öncelikle varlıksal niceleyici $\exists$ sembolünü evrensel niceleyici $\forall$ sembolüne dönüştürüyoruz. Bu durumda $\exists x \in \mathbb{Z}$ ifadesi $\forall x \in \mathbb{Z}$ olur.
  • Ardından önermenin yüklemi olan $2x+1=0$ ifadesinin olumsuzunu alıyoruz. Bir eşitliğin olumsuzu, o eşitliğin doğru olmaması durumudur. Yani $2x+1=0$ ifadesinin olumsuzu $2x+1 \neq 0$ olur.
• Sonucu Birleştirelim:

  Bu iki adımı birleştirdiğimizde, $\exists x \in \mathbb{Z}, 2x+1=0$ önermesinin olumsuzu $\forall x \in \mathbb{Z}, 2x+1 \neq 0$ olarak bulunur.

• Seçeneklerle Karşılaştıralım:
  • A) $\forall x \in \mathbb{Z}, 2x+1 \neq 0$ - Bulduğumuz sonuçla aynıdır.
  • B) $\exists x \in \mathbb{Z}, 2x+1 \neq 0$ - Niceleyici yanlış.
  • C) $\forall x \in \mathbb{Z}, 2x+1=0$ - Yüklem olumsuzlanmamış.
  • D) $\exists x \in \mathbb{Z}, 2x-1=0$ - Hem niceleyici yanlış hem de yüklem farklı bir ifadeye dönüşmüş.

Cevap A seçeneğidir.