検索結果- 英語 - 英語

検索内容:

Instantiating

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

Google翻訳 / DeepL翻訳

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

詳細

existential instantiations

名詞

活用形複数形

plural of existential instantiation

日本語の意味

これは "existential instantiation" の複数形です。

このボタンはなに？

In the logic seminar, the professor demonstrated how existential instantiations can simplify a proof by providing concrete witnesses.

Google翻訳 / DeepL翻訳

論理学のゼミで、教授は存在量化の特殊化の例が具体的な項を示すことで証明を簡略化できることを示した。

詳細

Webで検索する