|
|||||
|
|
| 命题代数与反证法 | |
| 摘 要： | 命题代数是抽象逻辑代数的一个模型,是研究思维形式的逻辑代数.而反证法是数学证明中常用方法之一.反证法所依据的恰是命题代数中一些逻辑原理.逻辑原理掌握如何?直接影响到使用反证法的效果和熟练程度.在教学中,发现有相当数量的学生,在使用反证法证明数学命题时,通常采用否定结论,经过推理,导致与已知条件矛盾的证明形式.而对其他形式的反证法运用却较少,使用起来又往往不顺手.笔者针对这一情况,想以命题代数为出发点,从理论上阐述有关反证法的逻辑原理及反证法的几个问题.为此先介绍命题代数的一些有关知识. |
| 本文献已被 CNKI 等数据库收录！ | |