关于高等数学中的逻辑证明

• 作者: 张东升 李静
• 来源期刊: 工科数学
• 学科: 数学
• 关键词: 证明 反证法 命题
• 年，卷（期）: 2001,（1）
• 所属期刊栏目: 教学随笔
• 页码范围: 89-93
• 页数: 5页
• 分类号: O1
• 字数: 5211字
• 语种: 中文
• DOI: 10.3969/j.issn.1672-1454.2001.01.024

摘要

逻辑证明在高等数学及其教学中占有重要地位.本文着重从间接证明尤其是反证法的逻辑结构入手,剖析了高等数学中的范例.反证法离不开充分条件假言推理的否定后件式,其中的后件"q"可以是直言命题或关系命题,也可以是联言命题、选言命题、假言命题和负命题.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李静	阜阳教育学院数学系	1	0	0.0	0.0
2	张东升	阜阳教育学院数学系	1	0	0.0	0.0