Concept · Foundations
Instantiation
A proof move that goes from a quantified claim to a claim about a specific individual; universal instantiation picks any individual, while existential instantiation introduces a fresh name for a witness.
Why it matters
Instantiation is how quantified premises become usable in step-by-step derivations.
Where this shows up
Units and lessons using this concept
Following the links will take you to the page where this term is introduced in context.
Related