Universal instantiation
= Universal instantiation
{wiki=Universal_instantiation}
Universal instantiation is a rule of inference in formal logic that allows one to derive a specific instance from a universally quantified statement. In simple terms, if something is true for all members of a certain set (as stated by a universal quantifier), one can conclude that it is true for any particular member of that set.