|
|||||
|
|
| 证题方法(续) | |
| 引用本文： | 王树茗.证题方法(续)[J].数学通报,1980(2). |
| 作者姓名： | 王树茗 |
| 作者单位： | 北京101中 |
| 摘 要： | (三)间接证法当证明一个数学语句用直接证法感到困难时,可以考虑用间接证法。间接证法在习惯上也称为反证法或归谬证法。 (1)间接证法进行的方式 前面已经指出,所谓在一个数学理论系统中“语句u(?)v真确”,可以解释为指的是语句 前此公理∧前此定理真确;因此,这样一种在该理论系统中证明语句u(?) |
| 本文献已被 CNKI 等数据库收录！ | |
|
||||||||||||||||||||
|
||||||||||||||||||||
|
||||||||||||||||||||
|
|
|
|
| 设为首页 | 免责声明 | 关于勤云 | 加入收藏 |
|
Copyright©北京勤云科技发展有限公司 京ICP备09084417号 |