Last Updated：2025/11/20
(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.
音声機能が動作しない場合はこちらをご確認ください
See correct answer
predicate calculus
Edit Histories（0）
Source Word
predicate calculus
Noun
uncountable
Japanese Meaning
量化記号（例えば「あるxが存在する」や「すべてのxに対して～」）を含む文に対応し、論理学の中でこれらの文の構造や意味付けを扱う分野。すなわち、述語論理とも呼ばれ、命題論理とは異なり、対象領域内の要素に対する記述を可能にする。
