论文部分内容阅读
在证明一个命题成立时,可以证明原命题成立,可以证明它的逆否命题成立,也可以通过证明命题的否定为假来证明原命题为真.当从正面证明一个命题不太容易时,往往用反证法来证明,通过推出矛盾证明假设不成立来证明原命题成立.独立性检验原理也提供了一种证明两个变量有关的方法,这些证明方法有相同之处,也有细微的不同,通过原理与实例相结合来展示逆否命题证法与命题的否定证法、反证法与命题的否定证法和逆否命题证法、独立性检验原理和反证法原理之间的异同.