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!