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