AI MCQ #418: Which is a lifted version of modus ponens?

Q418. Which is a lifted version of modus ponens?

  • a) Generalized modus ponens
  • b) Inference
  • c) Clauses
  • d) None of the mentioned

✅ Correct Answer: A) Generalized modus ponens

Explanation: Generalized modus ponens is a lifted version of modus ponens because it raises modus ponens from propositional to first-order logic.