Saved Bookmarks
| 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. |
|