问题 名词解释

谓词演算

答案

参考答案:将谓词逻辑的推理形式和规律组成一个形式化的公理系统即所谓谓词演算。

选择题
填空题