Loading…
Loading…
Concept · Foundations
A proof move that goes from a claim about an individual to a quantified claim; universal generalization is allowed only when the individual was arbitrary, and existential generalization is always allowed when a specific instance has been found.
Why it matters
Generalization is how derivations conclude quantified statements, and its restrictions are the main source of errors in predicate proofs.
Where this shows up
Following the links will take you to the page where this term is introduced in context.
Related