反证法专题
【数学归纳法 反证法】菲蜀定理
裴蜀定理（或贝祖定理，Bézout’s identity）得名于法国数学家艾蒂安·裴蜀，说明了对任何整数a、b和它们的最大公约 数d，关于未知数x和y的线性不定方程（称为裴蜀等式）：若a,b是整数,且（a,b)=d，那么对于任意的整数x,y,ax+by都一定是d的倍数，特别地，一定存在整数x,y，使ax+by=d成立。 它的一个重要推论是：a,b互质的充要条件是存在整数x,y使ax+by=1.
（《机器学习》完整版系列）第15章 规则学习——15.3 归结与逆归结（你可知“反证法”原理？）
归结原理（即消解）：可以“消除”该互补项 归结与逆归结 上篇我们用“十一条规则”形成一套命题逻辑的形式推理体系，归结原理强大到只需一个规则就可形成一套命题逻辑的形式推理体系。 若互补项（即正文字 L L L与负文字 ¬ L \lnot L ¬L）分别在两子句 C 1 C_1 C1与 C 2 C_2 C2中，则可以“消除”该互补项，称为归结原理（即消解），如图15.1 所示。 C = C
