大家在查：简单命题结合律分配律同一律吸收律命题演算逻辑符号逻辑的数学分析油田开发计算机集成制造系统

谓词演算

谓词演算

普通英汉小词典_翻译家(Fanyijia.com) ... 命题演算 propositional calculus 谓词演算 predicate calculus 合取 conjunction ...

数学专业英语词汇14_专业词汇 ... predicate constant 谓词常数 predicate logic 谓词演算 predicate symbol 谓词符号 ...

信息英语词汇(P) ... predicated response 预测响应 predicative calculus 谓词演算 prediction 预报 ...

2. 又称 :谓词演算(functional calculus )谓词演算狭谓词演算 1. restricted predicate calculus 广义谓词演算 1. extended pr...

A typical kind of property that you might want to express , say , in a class invariant for a graph class, is that the graph has no cycles.

The atomic formula is called atom for short in predicate calculus .