predicate calculusの主な意味と例文
1名詞
意味 - 述語計算
- 述語論理
- 述語論理学
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
1名詞
意味 a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions)
個体、述語、および個体の限量（ならびに命題間の関係）を表現する記号論理学の体系
同義語 上位語 - formal logic形式論理学
- mathematical logic数理論理学
- symbolic logic記号論理学
構成要素