existential instantiation (English, noun)
expansion: existential instantiation (plural existential instantiations)
Senses:
topics: human-sciences
logic
mathematics
philosophy
sciences
glosses: In predicate logic, an inference rule of the form ∃x P(x) ⊢ P(c), where c is a new symbol (not part of the original domain of discourse, but which can stand for an element of it (as in Skolemization)).
Forms:
form: existential instantiations
tags: plural