Mantığın konusu nedir Test 1

"Hiçbir gezegen yıldız değildir" önermesinin niceleme mantığındaki karşılığı aşağıdakilerden hangisidir?

A) ∀x(Gx → Yx)
B) ∃x(Gx ∧ Yx)
C) ∀x(Gx → ¬Yx)
D) ∃x(Gx ∧ ¬Yx)

Bu soruyu çözmek için, verilen önermeyi niceleme mantığının temel kurallarına göre adım adım analiz edelim.

• Önermeyi Anlama:

  "Hiçbir gezegen yıldız değildir" önermesi, evrendeki hiçbir nesnenin hem gezegen hem de yıldız olamayacağını ifade eden evrensel bir olumsuzlama cümlesidir. Yani, eğer bir şey gezegense, o şey kesinlikle yıldız değildir.

• Yüklemleri Tanımlama:

  Niceleme mantığında, nesnelerin özelliklerini veya ilişkilerini ifade etmek için yüklemler (predicates) kullanırız. Bu önerme için iki temel yüklem tanımlayalım:

  • $Gx$: "x bir gezegendir"
  • $Yx$: "x bir yıldızdır"
• Niceleyiciyi Belirleme:

  "Hiçbir..." ifadesi, evrensel bir ifadeyi temsil eder. Bu, "bütün x'ler için" anlamına gelen evrensel niceleyici ($\forall x$) ile gösterilir.

• Mantıksal Bağlacı ve Olumsuzlamayı Belirleme:

  Önerme "Hiçbir gezegen yıldız değildir" dediği için, eğer bir şey gezegense, o şeyin yıldız olmadığını belirtiyoruz. Bu bir koşullu ifadeyi (eğer... ise...) ve bir olumsuzlamayı içerir:

  • "Eğer x bir gezegense" kısmı $Gx$ ile başlar.
  • "o zaman x bir yıldız değildir" kısmı $\neg Yx$ (yıldız değildir) ile ifade edilir.
  • Bu iki ifadeyi "eğer... ise..." anlamına gelen koşul bağlacı ($\rightarrow$) ile birleştiririz: $Gx \rightarrow \neg Yx$.
• Tam Niceleme Mantığı İfadesini Oluşturma:

  Şimdi tüm parçaları birleştirelim: "Bütün x'ler için, eğer x bir gezegense, o zaman x bir yıldız değildir."

  Bu ifade niceleme mantığında şu şekilde yazılır: $\forall x(Gx \rightarrow \neg Yx)$.

• Seçenekleri Değerlendirme:
  • A) $\forall x(Gx \rightarrow Yx)$: "Bütün gezegenler yıldızdır." (Yanlış)
  • B) $\exists x(Gx \wedge Yx)$: "Bazı gezegenler yıldızdır." (Yanlış)
  • C) $\forall x(Gx \rightarrow \neg Yx)$: "Bütün gezegenler yıldız değildir." veya "Hiçbir gezegen yıldız değildir." (Doğru)
  • D) $\exists x(Gx \wedge \neg Yx)$: "Bazı gezegenler yıldız değildir." (Yanlış)

Bu adımları takip ettiğimizde, "Hiçbir gezegen yıldız değildir" önermesinin niceleme mantığındaki doğru karşılığının $\forall x(Gx \rightarrow \neg Yx)$ olduğunu görürüz.

Cevap C seçeneğidir.