什么是反证法
- 首先,假设命题否定的形式,成立
- 根据假设进行的论证,推导出矛盾的结果
一言以屏蔽,反证法就是“先假设命题的否定形式成立,然后在进行推理,引出矛盾”的论证方法
思考一下-为什么不存在最大的整数
用反证法证明不存在最大的整数
- 假设存在最大的整数,并将它设为M
- 那么M+1就比M大,这与M是最大整数的假设相矛盾
- 因此不存在最大的整数
这里就是需要证明的不存在最大的整数
那么反证法其实就是证明最大的整数
一言以屏蔽,反证法就是“先假设命题的否定形式成立,然后在进行推理,引出矛盾”的论证方法
用反证法证明不存在最大的整数
这里就是需要证明的不存在最大的整数
那么反证法其实就是证明最大的整数