WordNet
functional calculus
名詞
-
述語論理
a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions).
個々を表わし断定する記号論理学、および個々における量化のシステム(提案の関係と同様に)。
言い換え