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.