existential instantiation
Like a beast; brutal; beastly.
(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)).
Alternative spelling of anti-globalization
Alternative spelling of Burkinabe
多くの論理学の教科書では、存在を表す式 ∃x P(x) を新しい定数 c に置き換えて P(c) を導くことを可能にする推論規則として紹介されている。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
