When the resolution is called as refutation-complete?
A. Sentence is satisfiable
B. Sentence is unsatisfiable
C. Sentence remains the same
D. None of the mentioned
Answer:A
When the resolution is called as refutation-complete?
A. Sentence is satisfiable B. Sentence is unsatisfiable C. Sentence remains the same D. None of the mentioned
Explanation:Resolution is refutation-complete, if a set of sentence is unsatisfiable, then resolution will always be able to derive a contradiction.