Q. Which is a refutation complete inference procedure for propositional logic? (Solved)
1. clauses
2. variables
3. propositional resolution
4. proposition
- c. propositional resolution
1. clauses
2. variables
3. propositional resolution
4. proposition