first order predicate calculus

网络释义

1.	一阶谓词演算一阶谓词演算（first order predicate calculus）2.3.1 谓词演算 1) 语法和语义 2) 连词和量词合取析取蕴涵否定 2.3.2 谓词公式 blog.csdn.net
2.	一阶述词演算《数学：... ... First order predicate calculus( 一阶述词演算), 190, 260, 31 Fontenelle,Bernard Le Bouvier de( 丰特列尔), 74 ... episte.math.ntu.edu.tw

释义:

一阶谓词演算,一阶述词演算

随便看

英汉双解词典包含2704715条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。