MCQOPTIONS
Saved Bookmarks
| 1. |
Lifted inference rules require finding substitutions that make different logical expressions looks identical. |
| A. | Existential Instantiation |
| B. | Universal Instantiation |
| C. | Unification |
| D. | Modus Ponen |
| Answer» D. Modus Ponen | |