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.
Articles by others on the same topic
There are currently no matching articles.