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