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

谓词演算

un.predicate calculus
网络predicate logic; predicative calculus; functional calculus

谓词演算

谓词演算

英-汉网络释义

谓词演算

un.

1.predicate calculus

1

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.

比如在一个图类中，你可能想要表述的典型属性是该图没有回路。这就是一个一阶谓词演算不可表述的属性。

3

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

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

4

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

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

6

8

NDPI Nature Deduction Type Intuitionistic Systems of First Order Predicate Calculus

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

9

A new formal deductive system for fuzzy predicate calculus

一个新的模糊谓词演算形式系统

10

Atomic formula in predicate calculus

谓词演算中的原子公式

热词推荐

大家在看