证明技巧I——反证法
2017-01-12 07:07
330 查看
反证法(proof by contradiction),或者间接证明(insert proof):为证明一个命题正确与否,去证明这个命题是否存在一个反命题与其矛盾。例如:你想证明一个命题S-“存在无穷多个素数”。那么为了给出这个命题的一个间接证明,一开始先假设这是假的,以这个假设为前提,如果经过一系列的推理后出现了错误,那么有两种情况。第一种我们可以认为推理过程有问题,第二种是如果推理没问题,那么就是一开始的假设就有问题。事实上只有从一个假的假设出发,才有可能在数学上证明这个假设假的。
通俗的说,反证法就是给出一个和命题相矛盾的假设,当假设成立就说明命题是假的。假设不成立,命题为真。
通俗的说,反证法就是给出一个和命题相矛盾的假设,当假设成立就说明命题是假的。假设不成立,命题为真。
相关文章推荐
- VMware Workstations与Windows共享文件夹
- 进程与线程的区别(概念理解)
- compose的secure-http属性怎么全局设置成false
- 80老翁谈人生(340):网络空间法制化,立法先行,任重道远
- Python类的定义使用 《Head First Python》第六章
- 281. Zigzag Iterator
- Leetcode 447. Number of Boomerangs
- LeetCode Assign Cookies
- 298. Binary Tree Longest Consecutive Sequence
- 计算机网络——介质访问控制子层
- 【数据结构与算法】排序
- 482. License Key Formatting
- exercise 31 做决定
- Elastic Distributed Database
- (未艾原创)当当当当!!!真正的第一篇博文!!Ajax发送请求及处理。(我在新浪博客的第一篇文章)
- exercise 30 else and if 语句
- 双击退出程序
- 设计模式之命令模式(java)
- 361. Bomb Enemy
- exercise 29