证明方法简析

　　数学上的证明方法有很多，今天翻离散数学翻到证明方法的部分，觉得很是经典，所以将他们列在这边，以便自己时时记在心上。

　　定理常见的形式是“P成立当且仅当Q成立”，“如果P成立，那么Q成立”。而前者又相当于P推出Q，并且Q也推出P，所以归根到底，定理的主要形式是P推出Q，至于其他形式，诸如非P的形式，只需要证明P是假；PQ均成立，只需证明P成立且Q成立；P或Q成立，只需证明P成立，P不成立时Q成立。

　　1. 无意义证明

　　　　证明前提假设是假，那么结论无所谓真假，命题都得证。（证明P不成立，则P推出Q成立）

　　2. 平凡证明

　　　　证明结论永真，那么前提无论真假，命题都得证。（证明Q成立，则P推出Q成立）

　　3. 直接证明

　　　　假设前提成立，成功推出结论成立，命题得证。（假设P成立，推出Q成立，则P推出Q成立）

　　4. 间接证明

　　　　根据逆反命题和原命题等价的原则，通过证明逆反命题成立，就可以证明原命题成立。（假设Q不成立，推出P不成立，则P推出Q成立）

　　5. 多前提条件的命题

　　　　P1,P2,P3,...,Pn推出Q形式的命题。

　　　　直接证明：假设前提Pi全部成立，成功推出Q成立，则结论成立；

　　　　间接证明：假设Q不成立，推出任意Pi不成立，则结论成立。

　　6. 多前提条件的附加条件命题（演绎）

　　　　P1,P2,P3,...,Pn推出P推出Q形式的命题。

　　　　该命题形式等价于多前提条件Pi有附加了前提条件P，这与P就是在前提条件中没有区别。即原命题为P1,P2,P3,...,Pn,P推出Q形式。

　　　　该规则被称为演绎定理。

　　7. 多可选前提条件的命题

　　　　P1,P2,P3,...,Pn前提条件任一存在都推出Q形式的命题。

　　　　该命题按其本身的叙述，就应该证明任意的Pi都能够推出Q，以保证只有在前提Pi都不成立的情况下，Q才不成立。

　　8. 反证法

　　　　要证P1,P2,P3,...,Pn永真地推出Q，那么可以采用另外一种方式：

　　　　证明P1,P2,P3,...,Pn,非Q永真地推出一个不可能的结论。也就是，将需要推出的结论Q的反命题作为附加前提，这个时候所有的前提假设推出一个永远不可能的情况。