existential instantiation

名词 n.
中文释义

英文释义

名词 n.
  1. 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)).

词形变化

existential instantiations plural
0 次浏览 数据来源: Wiktionary