existential instantiation en · NOUN
Meanings
- 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
| Spelling | Features | Labels | Source |
|---|---|---|---|
| existential instantiations | Number=Plur | lexicographic |