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!