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

6 查阅

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

A.反证法

B.综合法

C.分析法

D.归纳法

参考答案:

答案:反证法