Tümel niceleyici (Her - ∀) Test 1

Matematiksel mantıkta "∀x(P(x) → Q(x))" önermesi ile "∃x(P(x) ∧ ¬Q(x))" önermesi arasında nasıl bir ilişki vardır?

A) Eşdeğerdirler
B) Birbirlerinin olumsuzudur
C) Birbirlerini gerektirirler
D) Hiçbir ilişkileri yoktur

Matematiksel mantıkta verilen iki önerme arasındaki ilişkiyi anlamak için, her bir önermenin ne anlama geldiğini açıklayalım ve ardından birinci önermenin olumsuzunu (değilini) alarak ikinci önermeyle karşılaştıralım.

• Birinci Önerme: $\forall x(P(x) \rightarrow Q(x))$
  • Bu önerme, "Evrendeki her $x$ için, eğer $P(x)$ özelliği doğruysa, o zaman $Q(x)$ özelliği de doğrudur" anlamına gelir.
  • Daha basit bir ifadeyle, $P(x)$ özelliğine sahip olan tüm elemanlar aynı zamanda $Q(x)$ özelliğine de sahiptir. $P(x)$ özelliğine sahip olup da $Q(x)$ özelliğine sahip olmayan hiçbir eleman yoktur.
  • Örnek: "Tüm insanlar ölümlüdür." ($P(x)$: $x$ insandır, $Q(x)$: $x$ ölümlüdür.)
• İkinci Önerme: $\exists x(P(x) \land \neg Q(x))$
  • Bu önerme, "Evrende öyle en az bir $x$ vardır ki, $P(x)$ özelliği doğrudur VE $Q(x)$ özelliği yanlıştır" anlamına gelir.
  • Daha basit bir ifadeyle, $P(x)$ özelliğine sahip olup da $Q(x)$ özelliğine sahip olmayan en az bir eleman vardır.
  • Örnek: "Ölümsüz olan en az bir insan vardır." ($P(x)$: $x$ insandır, $\neg Q(x)$: $x$ ölümlü değildir, yani $x$ ölümsüzdür.)

Şimdi, bu iki önerme arasındaki ilişkiyi bulmak için birinci önermenin olumsuzunu (değilini) alalım. Bir önermenin olumsuzu, o önerme doğruyken yanlış, yanlışken doğru olan önermedir.

• Birinci önermenin olumsuzunu alalım: $\neg (\forall x(P(x) \rightarrow Q(x)))$
• Bu ifadeyi adım adım basitleştirelim:
  • Adım 1: Niceleyici (Quantifier) Olumsuzlama Kuralı

    Bir "her $x$ için" ( $\forall x$ ) niceleyicisinin olumsuzu, "en az bir $x$ için" ( $\exists x$ ) niceleyicisidir ve niceleyiciden sonraki ifadenin olumsuzu alınır. Yani, $\neg (\forall x A(x)) \equiv \exists x (\neg A(x))$.

    Bu kuralı uygularsak: $\neg (\forall x(P(x) \rightarrow Q(x))) \equiv \exists x (\neg (P(x) \rightarrow Q(x)))$

  • Adım 2: İmplikasyon (Koşullu Önerme) Olumsuzlama Kuralı

    Bir "$A \rightarrow B$" şeklindeki koşullu önermenin olumsuzu "$A \land \neg B$" şeklindedir. Yani, $\neg (A \rightarrow B) \equiv A \land \neg B$.

    Burada $A$ yerine $P(x)$ ve $B$ yerine $Q(x)$ koyarsak: $\neg (P(x) \rightarrow Q(x)) \equiv P(x) \land \neg Q(x)$

  • Adım 3: İki kuralı birleştirme

    Yukarıdaki adımları birleştirdiğimizde, $\exists x (\neg (P(x) \rightarrow Q(x)))$ ifadesindeki parantez içindeki kısmı değiştiririz:

    $\exists x (P(x) \land \neg Q(x))$

Gördüğümüz gibi, birinci önerme olan $\forall x(P(x) \rightarrow Q(x))$'in olumsuzunu aldığımızda, tam olarak ikinci önerme olan $\exists x(P(x) \land \neg Q(x))$'i elde ettik.

Bu durum, bu iki önermenin birbirinin olumsuzu olduğu anlamına gelir. Yani, biri doğruysa diğeri kesinlikle yanlış, biri yanlışsa diğeri kesinlikle doğrudur.

Cevap B seçeneğidir.