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
substituting a ground term (a term without variables) for the variable.
a) True
b) False