相關字詞組
最近查詢過的單字

天火字典

英日字典: 述語論理

述語論理


1 文書を見つけるための辞書。


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

返回 →