论文部分内容阅读
由数理逻辑的形式推理规则知, 如果,B′则-A(反证律)其中,表示形式前提,A′表示A的否定(非A)。 上述规律说明,假设要证明的结论A是假的,然后由和A′一起,推出互相矛盾的结果B与B′,(B表示定义、公理、定理、已知条件,反设等),那末由原来的前提就可推出A成立。这正是演绎推理中反证法的逻辑基础。