步骤:1、假设结论反面成立;2、从这个假设出发,推理论证,得出矛盾;3、由矛盾判断假设不成立,从而肯定结论正确。
矛盾的来源:1、与原命题的条件矛盾;2、导出与假设相矛盾的命题;3、导出一个恒假命题。
适用与待证命题的结论涉及“不可能”、“不是”、“至少”、“至多”、“唯一”等字眼时。
|
正面词语 |
等于 |
大于 |
小于 |
是 |
都是 |
至多有一个 |
|||
|
否定 |
|
|
|
|
|
|
|||
|
|
|||||||||
|
正面词语 |
至少有一个 |
任意的 |
所有的 |
至多有n个 |
任意两个 |
||||
|
否定 |
|
|
|
|
|
||||