existential instantiation

名詞

(logic) 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)).

日本語の意味

（述語論理における）∃x P(x)という存在命題から、新たな定数記号（元々の議論領域に含まれていない記号）を導入し、P(c)という形で推論を進める規則。 / 述語論理において、存在を示す命題から、その存在する要素を新しい定数として具体化して、その性質を扱う推論手法。

このボタンはなに？

In many logic textbooks, existential instantiation is introduced as the rule that allows one to replace an existential formula ∃x P(x) with a new constant c and infer P(c).

多くの論理学の教科書では、存在を表す式 ∃x P(x) を新しい定数 c に置き換えて P(c) を導くことを可能にする推論規則として紹介されている。

詳細

意味（1）

(logic) 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 ）