| 关于高等数学中的逻辑证明 |
| |
| 引用本文： | 李静,张东升. 关于高等数学中的逻辑证明[J]. 大学数学, 2001, 17(1): 89-93 |
| |
| 作者姓名： | 李静 张东升 |
| |
| 作者单位： | 阜阳教育学院,数学系,阜阳,236016 |
| |
| 摘 要： | 逻辑证明在高等数学及其教学中占有重要地位 .本文着重从间接证明尤其是反证法的逻辑结构入手 ,剖析了高等数学中的范例 .反证法离不开充分条件假言推理的否定后件式 ,其中的后件“q”可以是直言命题或关系命题 ,也可以是联言命题、选言命题、假言命题和负命题
|
| 关 键 词： | 证明 反证法 命题 |
| 文章编号： | 1007-4120(2001)01-0089-05 |
| 修稿时间： | 2000-03-13 |
Logical Proof Concerning Higher Mathematics |
| |
| LI Jing,ZHANG Dong sheng. Logical Proof Concerning Higher Mathematics[J]. College Mathematics, 2001, 17(1): 89-93 |
| |
| Authors: | LI Jing ZHANG Dong sheng |
| |
| Abstract: | Logical proof plays an important role in higher mathematics and its teaching. This paper analyzes the examples of higher mathematics by means of indirect proof, especially by means of logical structure of counter evidence. Counter evidence depends on denial consequent of sufficient condition of hypothetical inference. This consequent “ q ” may be categorical proposition or relational proposition, and it may also be association proposition, disjunctive proposition, hypothetical proposition and negative proposition. |
| |
| Keywords: | proof counter evidence proposition |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
