

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 | |