English translation for "predicate calculus with identity"

带恒等式的谓词演算

Related Translations:

predicated:  断言的断定的

predicate:  n.1.【语法】谓语，述语。2.【逻辑学】谓项，述项，述词，宾词。3.本质；属性。adj.谓语的，述语的；谓项的，述项的。vt.1.论断，断言；断定…为某物的属性；断定某物有…的属性 (about; of)。2.〔美国〕使(声明、行动等)依据于 (on; upon), 使基于。3.宣言，宣布，声明。4.意味着，具有…的含义。5.【语法】表述。vi.断言 (of)。 Can

predicates:  谓词

predicate noun:  谓语性名词

diophantine predicate:  刁番图谓词

analytic predicate:  解析谓词

actional predicate:  动作谓语

predicate calculu:  谓词演算

compound predicate:  复合谓语

factive predicate:  叙述性谓词

Similar Words：

"predicate calculu" English translation, "predicate calculus" English translation, "predicate calculus based method" English translation, "predicate calculus language" English translation, "predicate calculus of the third order" English translation, "predicate constant" English translation, "predicate data use" English translation, "predicate device" English translation, "predicate intersection model" English translation, "predicate language" English translation