Loading…
Loading…
Concept · Foundations
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
Following the links will take you to the page where this term is introduced in context.
Related