反证法是什么求详解

来源:学生作业帮助网 编辑:作业帮 时间:2024/04/29 10:21:13

反证法是什么求详解
反证法是什么
求详解

反证法是什么求详解
反证法(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为真;
希望楼主采纳
纯手打不易.

用结论证明条件 证之前一般先假设结论成立