AOF.SORULAR.NET
aof.sorular.net Sembolik Mantık Sembolik Mantık Deneme Sınavı Sembolik Mantık Deneme Sınavı Sorusu #472228

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

∃x (Fx →∀y (FA →  GA)) önermesinin doğruluk değeri hesaplanırken çözümleyici çizelgenin kök noktasına aşağıdakilerden hangisi yazılmalıdır? (Am=a)


∃x (Fx →∀y (FA →  GA))

∀x (Fx → ∃y (FA →  GA))

~∃x (Fx → ∀y (Fa →  Ga))

∃x (Fx →∀y (Fa →  Ga))

Fx →∀y (Fa →  Ga)

Yanıt Açıklaması:

Bir önermenin çözümleyi çizelgedeki doğruluk değeri hesaplanırken A,B gibi ad sembollerinin yerine elam heçirilir ve önerme kök noktasına yazılır yani FA yerine Fa, GA yerine ise Ga yazılır ve İfade düzenlenerek kök noktasına yazılır.

PAYLAŞ:

SORUNUN CEVABI: D

Sınava Dön Hata Bildir
Yorumlar
  • 0 Yorum