Sembolik Mantık Deneme Sınavı Sorusu #472248

Aşağıdaki hangi önermeçözümleyici çizelge yöntemiyle niceleme mantığında geçerli bir önerme olduğunu gösterilmektedir?

1. ~∃x (Fx → Fa)

2. ∀x ~ (Fx → Fa)           (1)

3. ~ (Fa → Fa)                (2)

4. Fa                             (3)

5. ~Fa                           (3)

    X(4, 5)

∀x (Gx → Hx)

∀x (Fx → Hx)

∃x Fx ∴ ∀x Fx

∃x (Fx → FA)

∀x Fx ∴ ∀x Fx

Yanıt Açıklaması:

Çözümleyici çizelge yöntemiyle, ∃x (Fx → FA) önermesinin niceleme mantığında geçerli bir önerme olduğunu yukarıda verilen çizelge ile gösterilmektedir.

PAYLAŞ:

SORUNUN CEVABI: D

Sınava Dön Hata Bildir

Yorumlar

0 Yorum

Sembolik Mantık Deneme Sınavı Sorusu #472248

Aşağıdaki hangi önermeçözümleyici çizelge yöntemiyle niceleme mantığında geçerli bir önerme olduğunu gösterilmektedir? 1. ~∃x (Fx → Fa) 2. ∀x ~ (Fx → Fa) (1) 3. ~ (Fa → Fa) (2) 4. Fa (3) 5. ~Fa (3) X(4, 5)

SORUNUN CEVABI: D

Yorumlar

IOS Uygulamamız Güncellendi!

Aşağıdaki hangi önermeçözümleyici çizelge yöntemiyle niceleme mantığında geçerli bir önerme olduğunu gösterilmektedir?

1. ~∃x (Fx → Fa)

2. ∀x ~ (Fx → Fa) (1)

3. ~ (Fa → Fa) (2)

4. Fa (3)

5. ~Fa (3)

X(4, 5)