MCQOPTIONS
Saved Bookmarks
| 1. |
Which is a refutation complete inference procedure for propositional logic? |
| A. | clauses |
| B. | variables |
| C. | propositional resolution |
| D. | proposition |
| Answer» D. proposition | |