Question

The process of capturing the inference process as Single Inference Rule is known as:

a) Clauses

b) Ponens

c) Generalized Modus Ponens

d) Variables

Answer 1

c. Generalized Modus Ponens

Explanation: For all inference process in FOL, the single inference rule can be used, which is called Generalized Modus Ponens. It is said to be the lifted version of Modus ponens.

Generalized Modus Ponens can be said as, " P implies Q and P is asserted to be true, therefore Q must be True."