浅谈数学分析中演绎证明的逻辑基础 |
| |
引用本文: | 高婷婷,张明会.浅谈数学分析中演绎证明的逻辑基础[J].科教文汇,2009(19):122-122. |
| |
作者姓名: | 高婷婷 张明会 |
| |
作者单位: | 陇南师范高等专科学校数学系,甘肃·成县,742500 |
| |
摘 要: | 一个正确的数学演绎证明的逻辑结构,就是一个逻辑定理;反之每一个逻辑定理反映了一个正确的数学演绎推理规则。本文重着介绍全称概括:A(x)←→xA(x)规则在数学分析中的应用及反证法的逻辑基础。
|
关 键 词: | 演绎证明 逻辑结构 全称概括规则 |
本文献已被 维普 万方数据 等数据库收录! |
|