反证法的运用应遵照必然的办法步调，先是假定数题的结论不成立,然后停止推理。推理后会有两种矛盾情况，一是与已知前提相矛盾；二是与公理或定理相矛盾。两种矛盾情况下，原假定的命题结论不成立是错误的。也就是说，原命题的结论是准确的。若推理后发现与公理及定理或已知前提不矛盾，则申明原假设成立，原命题的结论为假。用反证法证明命题得到数学家的普遍应用。用反证法证明的出名命题有素数有无限多个和W是无理数等。那么，反证法能否就是逆否命题？反证法是间接证明办法。原命题的前提和结论别离对应另一命题的结论的否认和前提的否认。即原命题的前提是其逆否命题的结论的否认，原命题的结论是其逆否命题的前提的否认。一个命题与其逆否命题同为实假。即原命题为实时，其逆否命题同为实。反证法是操纵演绎推理，推理出和已知前提或公理及定理矛盾从而得出原命题成立。所以，反证法不等于逆否命题。
0