归结演绎推理是一种基于鲁宾逊归结原理的机器推理技术。利用逻辑“（）”把关于永真性的证明转化为关于不可满足性的证明。
归结演绎推理是一种基于鲁宾逊归结原理的机器推理技术。利用逻辑“（）”把关于永真性的证明转化为关于不可满足性的证明。
A.反证法
B.综合法
C.分析法
D.归纳法
正确答案：反证法
Tag：用Python学人工智能 反证法 鲁宾逊
时间：2022-03-06 20:45:19