logo - 刷刷题
下载APP
【单选题】

归结演绎推理是一种基于鲁宾逊归结原理的机器推理技术。利用逻辑“( )”把关于永真性的证明转化为关于不可满足性的证明。​

A.
分析法
B.
反证法
C.
综合法
D.
归纳法
举报
参考答案:
参考解析:
.
刷刷题刷刷变学霸