最終更新日：2025/11/20

Dictionary quizzes to help you remember vocabulary

(logic) The branch of logic that deals with quantified statements such as there exists an x such that... or for any x, it is the case that..., where x is a member of the domain of discourse.

音声機能が動作しない場合はこちらをご確認ください

正解を見る

predicate calculus

編集履歴（0）

元となった辞書の項目

predicate calculus

名詞

不可算名詞

(logic) The branch of logic that deals with quantified statements such as "there exists an x such that..." or "for any x, it is the case that...", where x is a member of the domain of discourse.

日本語の意味

量化記号（例えば「あるxが存在する」や「すべてのxに対して～」）を含む文に対応し、論理学の中でこれらの文の構造や意味付けを扱う分野。すなわち、述語論理とも呼ばれ、命題論理とは異なり、対象領域内の要素に対する記述を可能にする。

このボタンはなに？

Graduate students often struggle to translate natural-language assertions into predicate calculus when the domain contains infinitely many objects.

Google翻訳 / DeepL翻訳

大学院生は、自然言語の主張を「あるxが存在する」や「任意のxについて成り立つ」といった量化子を扱う論理学の分野（述語論理）に翻訳するのに苦労することが多い。対象領域に無限の要素が含まれる場合は特にそうだ。

詳細

意味（1）

(logic) The branch of logic that deals with quantified statements such as "there exists an x such that..." or "for any x, it is the case that...", where x is a member of the domain of discourse.

詳細

predicate calculus

Dictionary quizzes to help you remember vocabulary

ログイン / 新規登録

アプリをダウンロード！

predicate calculus

Dictionary quizzes to help you remember vocabulary

ログイン / 新規登録

ログイン

──── or ────

新規登録

──── or ────

アプリをダウンロード！