aof.sorular.net
Sembolik Mantık
Sembolik Mantık Deneme Sınavı
Sembolik Mantık Deneme Sınavı Sorusu #444668
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