AI MCQ #320: Which is a refutation complete inference procedure for propositional logic?

by

Q320. Which is a refutation complete inference procedure for propositional logic?

  • a) Clauses
  • b) Variables
  • c) Propositional resolution
  • d) Proposition

✅ Correct Answer: C) Propositional resolution

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