Inference rule of universal instantiation, or universal specialization. Converse of the inference rule of (universal) generalization [ax-gen]. Contrary to the rule of generalization, its closed form is valid, see sp. (Contributed by NM, 5-Aug-1993.)
Inference rule of universal instantiation, or universal specialization. Converse of the inference rule of (universal) generalization [ax-gen]. Contrary to the rule of generalization, its closed form is valid, see sp. (Contributed by NM, 5-Aug-1993.)