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

modeli aşağıdaki hangi önermenin bir modelidir?


Ɐy ((Fy ˄ GA) ˅ (Gy → Hy))

Ɐy ((Fy ˄ HA) ˅ (Fy → Hy))

Ɐy ((Hy ˄ GA) ˅ (Gy → Hy))

Ɐy ((Fy ˄ HA) ˅ (Hy → Hy))

Ɐy ((Fy ˄ FA) ˅ (Gy → Gy))


Yanıt Açıklaması:

Ɐy ((Fy ˄ GA) ˅ (Gy → Hy)) önermeside, F, G ve H yüklem sembolleri ve A ad sembolü geçmektedir. Bize verilen model de bu sembollerin kümeleri olduğunadan doğru cevap Ɐy ((Fy ˄ GA) ˅ (Gy → Hy)).

Yorumlar
  • 0 Yorum