Which is a lifted version of modus ponens?
A. Generalized modus ponens
B. Inference
C. Clauses
D. None of the mentioned
Answer:A
Which is a lifted version of modus ponens?
A. Generalized modus ponens B. Inference C. Clauses D. None of the mentioned
Explanation:Generalized modus ponens is a lifted version of modus ponens because it raises modus ponens from propositional to first-order logic.