|
|||||
|
|
| 几类适宜用反证法证明的命题 | |
| 作者姓名： | 易道建 |
| 作者单位： | 达州市一中 四川达州635000 |
| 摘 要： | 否定命题判断的相反判断 ,从而肯定原来判断的正确性 ,这种证明法称为反证法。使用反证法的步骤可归纳为 :一、假设命题的结论不成立 ,即命题结论的否定方面成立 (每个否定方面均应考虑到 ) ;二、以命题的否定方面作为条件进行推理 ,得出和已知条件、公理、定义和定理等相矛盾或自相矛盾的结论 ;三、确认命题的所有否定方面不能成立 ,从而肯定命题的结论成立。哪些命题适宜用反证法证明 ,要一般地回答这个问题是不容易的 ,也不是绝对的 ,在此 ,提出如下几类适宜用反证法证明的命题 ,仅供参考。(一 )当命题含有涉及到各种“无限”形式的结论… |
| 关 键 词： | 反证法 命题证明“无限”形式 否定判断 假设命题 |
| 文章编号： | 1008-4886(2001)04-0117-02 |
| 修稿时间： | 2001-08-15 |
| 本文献已被 CNKI 维普 等数据库收录！ | |