逻辑学
登录
搜题
名词解释
谓词演算
【参考答案】
将谓词逻辑的推理形式和规律组成一个形式化的公理系统即所谓谓词演算。
点击免费查看答案
打开小程序，免费文字、语音、拍照搜题找答案
相关考题
名词解释
论域
名词解释
公理
名词解释
公理系统
