English Dictionary

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.

大学院生は、自然言語の主張を「ある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.