predicate calculusの語源
語源から深く理解しよう
この単語の語源は掲載準備中です。
掲載についてはEnglishBattle公式X で更新情報を発信しています。
predicate calculusの意味
EnglishBattle英和辞典
- 1名詞
意味 述語計算
logic with predicates
述語論理学
a branch of logic dealing with predicates and their subjects
和訳例 - 述語計算
- 述語論理
- 述語論理学
例文 Predicate calculus is used in mathematics.
述語計算は数学で使われる。
He studied predicate calculus in his logic class.
彼は論理学の授業で述語計算を学んだ。
predicate calculusのWordNet
WordNet(意味の繋がりに特化した概念辞書)
- 1名詞
意味 述語論理
a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions)
個体と述語、個体に対する量化（および命題間の関係）を表現する記号論理のシステム
和訳例 - 述語論理
- 述語計算
- 述語演算
同義語 - predicate calculus
- functional calculus
上位語 any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity
命題の内容からその形式を抽象化して、一貫性と妥当性の抽象的な基準を確立する論理体系
構成要素 a limitation imposed on the variables of a proposition (as by the quantifiers `some' or `all' or `no')
命題の変数に対して（「いくつか」や「すべて」または「なし」のような）量詞によって課される制限
