首页 | 本学科首页   官方微博 | 高级检索  
     检索      

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

关 键 词:演绎证明  逻辑结构  全称概括规则
本文献已被 维普 万方数据 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号