Artificial Intelligence MCQ
Which is a lifted version of modus ponens?
A)
Clauses
B)
Generalized modus ponens
C)
Inference
D)
None of the above

Correct Answer : Option (B) :   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.