Which is a refutation complete inference procedure for propositional logic?
A. Clauses
B. Variables
C. Propositional resolution
D. Proposition
Answer:A
Which is a refutation complete inference procedure for propositional logic?
A. Clauses B. Variables C. Propositional resolution D. Proposition
Explanation:Propoistional resolution is a refutation complete inference procedure for propositional logic.