predicate calculus

短语词组

短语

• predicate e calculus 谓词演算
• higher order predicate calculus 较高阶述词演算;翻译
• unary predicate calculus 单述词演算;翻译;单谓词演算英语;单谓词演算
• predicate calculus logic 述词演算逻辑
• connective in predicate calculus [计]谓词演算中的连接词
• predicate m -calculus 谓词m演算
• wffs of predicate calculus 谓词演算公式
• second predicate calculus 第二阶述词演算
• monadic predicate calculus 一元谓词运算;一元谓词逻辑;一元逻辑
返回 predicate calculus