找考题网-背景图
名词解释

谓词演算

【参考答案】

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