反证法的逻辑根据及其应用 |
| |
作者姓名: | 兰永胜 |
| |
作者单位: | 广东省深圳市宝安中学,518101 |
| |
摘 要: | 反证法作为一种重要的数学方法,一般的教材都会把这个方法的步骤叙述清楚.例如,苏教版教材选修2—2…“间接证明”一节中指出:反证法的证明过程可以概括为“否定一推理一否定”,即从否定结论开始,经过正确的推理,导致逻辑矛盾,从而达到新的否定(即肯定原命题)的过程.教材接着给出了用反证法证明“若P则q”形式的命题为真的过程的框图和三个步骤.文[2]中给出了反证法的几种常见推理格式:
|
关 键 词: | 反证法 逻辑根据 应用 “若P则q” 证明过程 数学方法 间接证明 逻辑矛盾 |
本文献已被 维普 等数据库收录! |
|