predicate calculus

predicate calculus 基本解释

[计] 谓词演算

词组短语

1、first order predicate calculus [计] 一阶谓词演算

2、first-order predicate calculus [计] 一阶谓词演算

3、high-order predicate calculus [计] 高阶谓词演算

4、higher order predicate calculus [计] 高阶谓词演算

5、predicate calculus language [计] 谓词演算语言

6、second-order predicate calculus [计] 二阶谓词演算

7、unary predicate calculus [计] 单谓词演算

8、Monadic predicate calculus 一元谓词演算

predicate calculus 用法和例句

1、pure predicate calculus.

纯谓词演算

2、annotated predicate calculus

注解谓词演算

3、extended predicate calculus.

广义谓词演算

4、one place predicate calculus

一元谓词演算

5、restricted predicate calculus

狭义谓词演算

6、Predicate Calculus and Program Semantics.

谓词演算与程序语义。

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

在谓词演算中，有时将原子公式简称为原子。

8、NDPI Nature Deduction Type Intuitionistic Systems of First Order Predicate Calculus

一阶谓词演算自然演绎型直觉主义系统

9、In the refutation tree of predicate calculus, the proved conjunctive formula.

在谓词演算的反驳树中, 被证明的合式公式。

10、Also predicate calculus, which studies the internal structure of simple.

也叫谓语演算，它研究简单马那瓜体的内部结构。

重点词汇

predicate n. 谓语, 谓项 a. 谓语的 vt. 断定为, 使基于, 意味着, 预言 vi. 断言 [计] 谓词; 判定; 断定

calculus n. 结石；微积分学