Existential generalization
= Existential generalization
{wiki=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.