以下解析规则用于逻辑编程。
Derive clause (P ∨ Q) from clauses (P ∨ R), (Q ∨ ¬R) 下列与此规则有关的陈述中，哪些是错误的?
(A) ((P ∨ R) ∧ (Q ∨ ¬R)) ⇒ (P ∨ Q) 逻辑上有效
(B) (P ∨ Q) ⇒ ((P ∨ R)) ∧ (Q ∨ ¬R)) 在逻辑上有效
(C) (P ∨ Q) 是可满足的当且仅当 (P ∨ R) ∨ (Q ∨ ¬R) 是可满足的
(D) (P ∨ Q) ⇒ FALSE 当且仅当 P 和 Q 都不可满足答案：(一)
说明：选项(A)本身就是分辨率的定义。
所以选项(A)是正确的。
这个问题的测验