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

A.反证法

B.综合法

C.分析法

D.归纳法

正确答案：反证法