反演归结（消解）证明定理时，若当前归结式是永真式时，则定理得证。

勾股定理是由毕达哥拉斯学派最早提出证明，而勾股定理在中国称为什么定理？ 证明收益等价定理。 判定法：其基本思想是依据推理规则，从前提和公理中可以推出许多定理，如果待证明的定理恰好在其中，则定理得证。() 逻辑代数的基本公式和常用公式中反演律（德、摩根定理）/（A+B）（） 中国最早证明勾股定理的人是()。 自动定理证明的常用方法有3大类：自然演绎法、判定法、定理证明器。() 五色定理的证明者是() 五色定理的证明者是： 通常来说,若应用导数研究函数性质只涉及一阶导数,则考虑使用中值定理,若问题涉及高阶导数时,则考虑泰勒展式。() 在删除策略归结的过程中删除以下子句：含有（）的子句；含有永真式的子句；子句集中被别的子句类含的子句。 几种常用的归结策略（）策略、支持集策略、线形归结策略、输入归结策略、单元归结策略。 证明不完全性定理的人是() 霍金何时证明面积定理的（）。 素数定理何时证明出来的 素数定理必须以复分析证明。() 素数定理必须以复分析证明（） 鲁滨逊归结原理可以分为命题逻辑归结原理和()归结原理。 （）运用出入相补的方法证明勾股定理。 数学课上，黄老师在讲勾股定理时，先给学生讲明勾股定理的内容，然后再讲述推导证明过程。黄老师所采用的教学方法是（）。 发现二项式定理的人是（）