predicate logic

维基词典,自由的多语言词典
  • 简体: 谓词逻辑[信息科技]
  • 正體: 述詞邏輯[計算機]
  • 正體: 述詞邏輯[電子計算機]