The Principle of Universal Instantiation (U.I.) Asserts That

The principle of Universal Instantiation (U.I.) asserts that:

A) from the substitution instance of a particular propositional function with respect to the name of any arbitrarily selected individual one can validly infer the universal quantification of that propositional function.
B) from any true substitution instance of a propositional function we may validly infer the universal instantiation of that propositional function.
C) any substitution instance of a propositional function can be validly inferred from its existential quantification.
D) any substitution instance of a propositional function can be validly inferred from its universal quantification.