Рубрики

ВОРОТА | GATE-CS-2009 | Вопрос 23

Какая из следующих форм является наиболее подходящей логической формулой для представления утверждения? «Золотые и серебряные украшения драгоценны».

Используются следующие обозначения:
G (x): х это золотой орнамент
S (x): х — серебряный орнамент
P (x): х драгоценный
(A) ∀x (P (x) → (G (x) ∧S (x)))
(B) ∀x ((G (x) ∧S (x)) → P (x))
(C) ∃x ((G (x) ∧S (x)) → P (x)
(D) ∀x ((G (x) ∨S (x)) → P (x))

Ответ: (D)
Объяснение:

=> Это утверждение может быть выражено как
=> Для всех Х, х может быть либо золотом, либо серебром, тогда украшение Х драгоценно
=> Для всех X, (G (X) v S (x)) => P (X).

Это решение предоставлено Анил Сайкришна Деварасетты .

Тест на этот вопрос

Рекомендуемые посты:

ВОРОТА | GATE-CS-2009 | Вопрос 23

0.00 (0%) 0 votes