当前位置:百科知识 > 慕课未分类

问题描述:

[单选] 归结演绎推理是一种基于鲁宾逊归结原理的机器推理技术。利用逻辑“()”把关于永真性的证明转化为关于不可满足性的证明。
A.反证法 B.综合法 C.分析法 D.归纳法
参考答案:查看
答案解析:
☆收藏

随机题目