Which is a refutation complete inference procedure for propositional logic?

by
Question:

Which is a refutation complete inference procedure for propositional logic?

A.

clauses

B.

variables

C.

propositional resolution

D.

proposition

Answer» c. propositional resolution

Note: The above multiple-choice question is for all general and Competitive Exams in India.