1.

Which is a refutation complete inference procedure for propositional logic?(a) Clauses(b) Variables(c) Propositional resolution(d) Proposition

Answer» Correct answer is (c) Propositional resolution

The explanation: Propositional resolution is a refutation complete inference procedure for propositional logic.


Discussion

No Comment Found

Related InterviewSolutions