有时候一个命题的否定命题被证明是正确的,就证明了原命题,反证法首先假设命题的结论不成立,通过推理得出矛盾,从而证明原命题成立,目前似乎没有关于反证法来源的详细记载,反证法是间接证明的一种,是证明矛盾命题为假,然后根据排中律确认命题为真的一种方法,不过我看过一个有意思的例子about反证法和大家分享一下。1、反证法的来源目前似乎没有关于反证法来源的详细记载。不过我看过一个有意思的例子about反证法和大家分享一下。“一位南方的风水先生去北方看风水,恰逢大雪。是一首荒诞的诗:“天上下雪,不下雨,地上雪化为雨;...
更新时间:2023-03-24标签: 反证法的例子反证法命题假设例子结论 全文阅读