The rule of Universal Instantiation (UI for short) says that we can infer any sentence obtained by substituting a ground term (a term without variables) for the variable.

🎲 Try a Random Question  |  Total Questions in Quiz: 68  |  🧠 Study this quiz with Flashcards
This question is part of a full practice quiz:
Artificial Intelligence & Soft Computing: Knowledge, Reasoning and Planning — practice the complete quiz, review flashcards, or try a random question.


The rule of Universal Instantiation (UI for short) says that we can infer any sentence obtained by substituting a ground term (a term without variables) for the variable.