predicate calculus

Noun

uncountable

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

Japanese Meaning

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

What is this buttons?

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

Google Translation / DeepL Translation

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

Details

Sense（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.

Details

predicate calculus

Dictionary quizzes to help you remember the meaning

Login / Sign up

Download the app!

predicate calculus

Dictionary quizzes to help you remember the meaning

Login / Sign up

Login

──── or ────

Sign up

──── or ────

Download the app!