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