有时候一个命题的否定命题被证明是正确的，就证明了原命题,反证法首先假设命题的结论不成立，通过推理得出矛盾，从而证明原命题成立,目前似乎没有关于反证法来源的详细记载,反证法是间接证明的一种，是证明矛盾命题为假，然后根据排中律确认命题为真的一种方法,不过我看过一个有意思的例子about反证法和大家分享一下。
目前似乎没有关于反证法来源的详细记载。不过我看过一个有意思的例子about反证法和大家分享一下。“一位南方的风水先生去北方看风水，恰逢大雪。是一首荒诞的诗:“天上下雪，不下雨，地上雪化为雨；“早知道初雪会变成雨，为什么一开始不下雨？”他那歪歪扭扭的诗正好被一个放羊娃听到了，还做了一首打油诗讽刺风水先生:“风水先生吃饭的时候不吃屎，但是一吃就变成了肚子里的屎；明知道早餐要变成屎了，为什么不一开始就吃屎。”实际上，小牧童巧妙地用反证法反驳了风水先生否定事物普遍运动规律，只强调结果而不强调变化过程的形而上学错误观点:假设风水先生说的是真理，只强调变化的最终结果而不改变过程。然后按照他的逻辑，就可以得出风水先生一开始就应该吃屎的荒谬结论。风水先生当然不会承认这个事实。那么，很明显，他说的是谬论。
反证法是间接证明的一种，是证明矛盾命题为假，然后根据排中律确认命题为真的一种方法。证明过程如下:题:P反题，非P证明“非P”为假，所以“P”为真(根据排中律)。例如，在经济建设中，我们必须保护好自然环境，不能破坏生态平衡。因为，如果生态平衡被破坏，就会出现严重的自然灾害，给人们的生命财产造成巨大的损失。这种后果是谁都不希望的。
3、什么叫 反证法,如何运用 反证法证明中学中的数学问题?反证法首先假设命题的结论不成立，通过推理得出矛盾，从而证明原命题成立。有时候一个命题的否定命题被证明是正确的，就证明了原命题，很容易证明这种情况适用于它的否定命题。适用范围:证明某些命题，而正命题的证明比较困难复杂，而负命题相对简单，具体方法:命题r=在C下，若A，则B反证:若A，则B证明B与A的矛盾，如证明“若P，则Q”为真命题，从否定其结论即“非Q”开始，通过正确的逻辑推理推导出矛盾，使“非Q”为假，即原命题为真。这样，定义:一种间接论证，首先与原命题相矛盾的命题，即反命题是假的，然后根据排中律原命题是真的。论证过程可以表述为:A不成立，如果不是A，那么B不是B所以，不是A所以，A。
