反证法清晰解释

一、原因 之前做逻辑推理，发现反证法只是知道怎么用，而有些概念不是很清楚，并且具体原理有点无法解释，所以，在此做一个简单的逻辑整理。不得不说，数学逻辑非常有用的，而且十分经典。  二、逻辑原理 1.前提概念 （1）原命题 p=>q，即已知p，可以推出q。 （2）否命题 p=>非q，即已知非p，可以推出非q。 （3）原命题的否定 p=>非q，即已知p，可以推出非q。 （4）三者关系 原命题和否命题之

>>阅读原文<<