Existential generalization

Existential generalization is a rule of inference used in formal logic and proof theory. It allows one to infer the existence of at least one instance of a particular property or relation from a specific case.