📜  门| GATE-CS-2009 |问题 23

📅  最后修改于: 2021-09-26 04:43:51             🧑  作者: Mango

以下哪一项是最适合表示该陈述的逻辑公式? “金银饰贵”。

使用以下符号:
G(x):x是金饰
S(x):x是银饰
P(x):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,x 可以是金或银,那么装饰品 X 是珍贵的
=> 对于所有 X,(G(X) v S(x)) => P(X)。