作业帮 > 数学 > 作业

逻辑学反证法实例

来源:学生作业帮 编辑:拍题作业网作业帮 分类:数学作业 时间:2024/04/27 15:11:25
逻辑学反证法实例
反证法就是通过证明与论题相矛盾的命题为假,然后根据排中律确定论题为真的证明方法,是一种间接证明.
其证明过程如下:
论题:p
反论题非p
证明“非p”虚假
所以:“p”为真(根据排中律)
比如:我们进行经济建设一定要爱护自然环境,不要破坏生态平衡.因为,如果破坏了生态平衡,就会产生严重的自然灾害,给人民的生命财产造成重大损失,这样的后果是人人都不希望出现的.