问题: 反证法
有道题答案不是很懂，能解释一下吗
已知：
定理1：若A则B
定理4：若非B则非A
证明：定理1<=>定理4
1）定理1=>定理4
定理4说 "若非B则非A" 否定结论
"若有A"依定理1，则有B，与非B矛盾
2）定理4=>定理1
定理1说“若A则B”，否定结论
“若B” 依定理4，则非A，与A矛盾
解答:
已知：
定理1：若A则B
定理4：若非B则非A
证明：定理1<=>定理4
1）定理1=>定理4
假设定理4结论“非A”不对，即：有A
依定理1，则有B，与定理4的已知“非B”矛盾
所以，定理4结论“非A”正确（证毕）
2）定理4=>定理1
同上
版权及免责声明
1、欢迎转载本网原创文章，转载敬请注明出处：侨谊留学（www.goesnet.org）；
2、本网转载媒体稿件旨在传播更多有益信息，并不代表同意该观点，本网不承担稿件侵权行为的连带责任；
3、在本网博客/论坛发表言论者，文责自负。
