消解反演证明定理时，若当前归结式是空子句，则定理得证。()

对于一阶谓词逻辑，如果没有归结出空子句，则说明原谓词公式是不可满足的 勾股定理是由毕达哥拉斯学派最早提出证明，而勾股定理在中国称为什么定理？ 证明收益等价定理。 逻辑代数的基本公式和常用公式中反演律（德、摩根定理）/（A+B）（） 中国最早证明勾股定理的人是()。 空子句是可以满足的 下列由中心极限定理得到的有关结论中，正确的是 自动定理证明的常用方法有3大类：自然演绎法、判定法、定理证明器。() 五色定理的证明者是() 五色定理的证明者是： 下列表述中，由中心极限定理得到的正确的表述是 证明不完全性定理的人是() 霍金何时证明面积定理的（）。 素数定理必须以复分析证明（） 素数定理必须以复分析证明。() 素数定理何时证明出来的 （）运用出入相补的方法证明勾股定理。 力的平移定理的证明过程用到了公理是（ ）？ 中国数学史上最先完成勾股定理证明的人是() 让机器证明数学定理是经验主义、符号主义_