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.
(a) True
(b) False
I had been asked this question in a job interview.
I'd like to ask this question from Inference in First-Order Logic in chapter Knowledge and Reasoning of Artificial Intelligence
Select the correct answer from above options
Interview Questions and Answers, Database Interview Questions and Answers for Freshers and Experience
