Universal instantiation
ID: 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.
New to topics? Read the docs here!