反证法的逻辑原理（反证法的一般步骤理解）

很多教科书中提到反证法时，只简单地讲了反证法的逻辑原理是逆否命题和原命题的真假性相同。但是实际的操作过程还用到了另一个原理，即：原命题和原命题的否定是对立的存在：原命题为真，则原命题的否定为假；原命题为假，则原命题的否定为真。这一点可以从集合论的角度理解