- 上一篇：分形几何及其应用+文献综述
- 下一篇：2-重伴随矩阵的性质及应用+文献综述
1.2反证法的逻辑原理
反证法逻辑上的理论依据是形式逻辑中的两个基本规律—矛盾律和排中律．
矛盾律是亚里士多德形式逻辑的基本规律之一，其基本内容是：在同一个论证过程中，对同一对象的两个相互矛盾、对立的判断，其中至少有一个是假的，它的公式是： 不是 ．
排中律是形式逻辑的又一个基本规律，基本内容是：在同一个论证过程中，对同一对象的肯定和否定判断，这两个相矛盾的判断必有一个是真的．它的公式：或者是 或者是 ，排除了第三种情况的可能，在数学论证中常常根据排中律进行推理.
对于任何一个命题：若 则 ，根据排中律， 真和 不真之中必有一个正确，否定了一个就肯定了另一个，因此，否定了 不真，就肯定了 真，那么如何否定 不真呢？假定 不真，就会导致矛盾，根据矛盾律，数学体系中不可能有矛盾的结果，而各步推理又正确，所以 不真是不可能的，这就否定了 不真，从而也就肯定了 真．