反证法与否定命题浅析 |
| |
引用本文: | 邓自生.反证法与否定命题浅析[J].湖南师范大学教育科学学报,2000(Z3). |
| |
作者姓名: | 邓自生 |
| |
作者单位: | 沅陵县二中 |
| |
摘 要: | 反证法是从假设命题结论的反面成立出发,经过正确的推理,导致矛盾,推翻原先的假设,从而证得命题结论成立的一种方法。它的基本思想是“否定-推理-矛盾-肯定”。 否定-即通过假设原命题结论的反面成立,来否定原命题的结论。 推理-从原命题的条件和假设出发,进行正确的推理。 矛盾-推理的结果导致与已知条件、定义、公理、定理或明显事实相矛盾,也可以是自相矛盾。 肯定-矛盾产生的根源是由假设所引起,因此假设是虚假的,从而肯定原命题结论正确。 反证法的关键是能否正确提出命题结论的否定命题。对于初学反证法的同学,有必…
|
本文献已被 CNKI 等数据库收录! |
|