AI MCQ #325: Which rule is equal to the resolution rule of first-order clauses?

by

Q325. Which rule is equal to the resolution rule of first-order clauses?

  • a) Propositional resolution rule
  • b) Inference rule
  • c) Resolution rule
  • d) None of the mentioned

✅ Correct Answer: A) Propositional resolution rule

Explanation: The resolution rule for first-order clauses is simply a lifted version of the propositional resolution rule.