中英互译
predicate calculus
美 /ˈpredɪkət ˈkælkjələs/
基本释义
- 谓词演算：一种形式逻辑系统，用于表示和推理关于对象和它们之间关系的陈述。
双语例句
- Predicate Calculus and Program Semantics.谓词演算与程序语义。
- Thus a kind of new syntactical and semantical systems of fuzzy predicate calculus are formed.从而形成了模糊谓词演算一种新的语构与语义体系。
- Three temporal logics i. e. first-order predicate calculus, modal logic and reified logic are discussed.讨论了三种时间逻辑方法：一阶谓词演算，模态逻辑及具体化逻辑。
网络短语
- restricted predicate calculus狭谓词演算
- extended predicate calculus广义谓词演算
- predicate calculus with identity带恒等式的谓词演算
- First Order Predicate Calculus一阶谓词逻辑；一阶谓词演算；第一阶述词演算
- second-order predicate calculus二阶谓词演算
英英释义
- n.a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions)