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)).
Значение
значений: 1In 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)).
Формы
мн. число: existential instantiations| Ед. число | existential instantiation |
|---|---|
| Мн. число | existential instantiations |
правильный