Universal Instantiation

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
An inference rule that allows one to derive a formula instance from a universally quantified statement: from ∀x P(x) one may infer P(t) for any term t that is appropriate to substitute for x.