用归结反演证明定理时，若当前归结式为（），则定理得证

证明收益等价定理。 逻辑代数的基本公式和常用公式中反演律（德、摩根定理）/（A+B）（） 勾股定理是由毕达哥拉斯学派最早提出证明，而勾股定理在中国称为什么定理？ 自动定理证明的常用方法有3大类：自然演绎法、判定法、定理证明器。() 几种常用的归结策略（）策略、支持集策略、线形归结策略、输入归结策略、单元归结策略。 霍金何时证明面积定理的（）。 素数定理何时证明出来的 素数定理必须以复分析证明。() 中国最早证明勾股定理的人是()。 素数定理必须以复分析证明（） 鲁滨逊归结原理可以分为命题逻辑归结原理和()归结原理。 下列由中心极限定理得到的有关结论中，正确的是 用金来归结人体的各种组织和功能的用金来归结人体的各种组织和功能的（） 五色定理的证明者是： 五色定理的证明者是() （）运用出入相补的方法证明勾股定理。 下列表述中，由中心极限定理得到的正确的表述是 “构造性”证明了算术基本定理。（） 正弦定理现代主要用向量的方法证明。（） 证明不完全性定理的人是()