来源：学生作业帮 编辑：搜狗做题网作业帮 分类：数学作业 时间：2024/04/23 23:08:36
反证法是什么
求详解
反证法（Proofs by Contradiction,又称归谬法、背理法）,是一种论证方式,他首先假设某命题不成立（即在原命题的条件下,结论不成立）,然后推理出明显矛盾的结果,从而下结论说原假设不成立,原命题得证.
1.当A为真,B为真,则A→B为真,得﹁B﹁A为真；
2.当A为真,B为假,则A→B为假,得﹁B→﹁A为假；
3.当A为假,B为真,则A→B为真,得﹁B→﹁A为真；
4.当A为假,B为假,则A→B为真,得﹁B→﹁A为真；
希望楼主采纳
纯手打不易.
搜狗做题网