Artificial Intelligence MCQ
Which is a refutation complete inference procedure for propositional logic?
A)
Clauses
B)
Variables
C)
Proposition
D)
Propositional resolution

Correct Answer : Option (D) :   Propositional resolution