MCQOPTIONS
Saved Bookmarks
| 1. |
Which rule is equal to resolution rule of first-order clauses? |
| A. | propositional resolution rule |
| B. | inference rule |
| C. | resolution rule |
| D. | none of the mentioned |
| Answer» B. inference rule | |