题目内容
（请给出正确答案）
[单选题]
鲁滨逊归结原理可以分为命题逻辑归结原理和（)归结原理。
A.谓词逻辑
B.限制逻辑
C.删除逻辑
D.线性输入
如搜索结果不匹配，请 联系老师 获取答案
A.归结原理是一种基于归纳法的自动定理证明技术
B.应用归结原理不能判定命题逻辑公式不成立
C.吴方法是一种基于代数计算的自动定理证明方法
D.（无）
更多“鲁滨逊归结原理可以分为命题逻辑归结原理和()归结原理。”相关的问题
A.谓词逻辑
B.限制逻辑
C.删除逻辑
D.线性输入
如搜索结果不匹配，请 联系老师 获取答案
更多“鲁滨逊归结原理可以分为命题逻辑归结原理和()归结原理。”相关的问题
为了保护您的账号安全，请在“赏学吧”公众号进行验证，点击“官网服务”-“账号验证”后输入验证码“”完成验证，验证成功后方可继续查看答案！
微信搜一搜
赏学吧
微信搜一搜
赏学吧
