Which rule is equal to resolution rule of first-order clauses?
A. Propositional resolution rule
B. Inference rule
C. Resolution rule
D. None of the mentioned
Answer:A
Which rule is equal to resolution rule of first-order clauses?
A. Propositional resolution rule B. Inference rule C. Resolution rule D. None of the mentioned
Explanation:The resolution rule for first-order clauses is simply a lifted version of the propositional resolution rule.