Q360. 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.
✅ Correct Answer: A) True
Explanation: Rule of universal instantiation.
Q360. 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.
✅ Correct Answer: A) True
Explanation: Rule of universal instantiation.