论文部分内容阅读
一个正确的数学演绎证明的逻辑结构，就是一个逻辑定理；反之每一个逻辑定理反映了一个正确的数学演绎推理规则。本文重着介绍全称概括：A（x）←→xA（x）规则在数学分析中的应用及反证法的逻辑基础。
浅谈数学分析中演绎证明的逻辑基础
【摘 要】
：
一个正确的数学演绎证明的逻辑结构，就是一个逻辑定理；反之每一个逻辑定理反映了一个正确的数学演绎推理规则。本文重着介绍全称概括：A（x）←→xA（x）规则在数学分析中的应用及反证法
【机 构】
：
陇南师范高等专科学校数学系
【出 处】
：
科教文汇(上旬刊)
【发表日期】
：
2009年19期
其他文献
从无人侦察机通信侦察信道的衰落机制入手,根据其特点选用广义平稳非相关散射模型对信道建模,并采用蒙特卡罗方法进行仿真,得到不同环境下无人侦察机通信侦察信道时变传递函
为了对大型工程结构或构件进行试验,分析比较了10种反力架形式,最终确定三维空间加载钢结构反力架与钢筋砼反力墙配合使用的形式。经2年的使用检验,反力架具有足够的强度、刚
发动机作为程机械设备的核心部件结构极其复杂,且处于高温、高压、高速的环境中运行,发动机的故障率较高,故障的准确判断费时、费力,甚至部分微小故障可以造成发动机致命的损