existential instantiation
existential instantiation · existential instantiations
In predicate logic, an inference rule of the form ∃x P ⊢ P, where c is a new symbol)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)).
Meaning
1 sensesIn 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
plural: existential instantiations| Singular | existential instantiation |
|---|---|
| Plural | existential instantiations |
regular