以下哪一项是最适合表示该陈述的逻辑公式? “金银饰贵”。
使用以下符号:
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)。