摘要
在大学数学和其它学科中,逻辑论证是常用的证明方法.它可分为直接论证和间接论证,一些定理、结论和习题的证明,不是采用直接的论证,而常常需要通过证明其它的论题,来确定原论题的真实性,这种方法,称为间接论证.笔者总结数年的教学经验,从逻辑论证的角度出发,对此方法进行研究、归纳,以期在证明中做到有的放矢,灵活运用.
:In the teaching of mathematics and other courses in colleges and universities sometheorems,conclusions and solutions to the exercises are usually demonstrated not by adopt-ing a direct means, but by verifying other propositions,such kind of a method of verificationis called indirect demonstration. In this article,the author summarized his years of teachingexperience,and studied and upgraded it at a logical demonstrative angle so that the scientificmethod could be applied flexibly,and with a well-defined objective in mind.
出处
《承德石油高等专科学校学报》
CAS
1997年第2期29-32,共4页
Journal of Chengde Petroleum College
关键词
反说证明
选择证明
反例性证明
: proof by contradiction
proof by selection
proof by anomalous examples
