归结演绎推理是一种反证法

【参考答案】

答案：不正确。归结演绎推理（Resolution）是一种在逻辑和人工智能领域中广泛使用的推理方法，特别是在命题逻辑和谓词......

(↓↓↓ 点击‘点击查看答案’看完整答案 ↓↓↓)