数学的逻辑思维方法.docVIP

数学的逻辑思维方法 数学作为自然科学的重要分支，，，. 我们在这里对它略作介绍. 一. 分类 分类是依据一定标准将研究对象区分为不同种类(称为子项)的逻辑方法，，，. 由此我们就有分类法必须遵守的逻辑规则: (1) 不漏，； (2) ，；(3) ，，. 二. 类比. 类比不是一种严格的推理，，，. 类比法的逻辑形式是: A的对象具有属性a， b， c， d， Ba， b， c. B的对象可能具有属性d. 类比的结论带有“可能”性，. 三. 归纳. 从特殊到一般的思维方法是归纳，，. 由此可见，，. 它的结论尚需加以严格的逻辑证明. 至于完全归纳，. 当对象是有限个时，，；， . 这里用的是类分归纳，， . 于是归纳出对全部对象均成立的结论来. 穷举归纳、类分归纳统称为完全归纳法，，，. 在数学中还有一种完全归纳法的变种，. 如果P(n)是关于正整数n的一个命题， P(1)，P(n)正确的条件下能推出P(n+1)正确， P(n)对一切正整数N都正确. 四. 演绎. 演绎与归纳正好相反，，. 演绎的推理是严格的逻辑证明方法，，，. 数学中绝大多数的推理均采用这种方法. 至于数学中的演绎形式，. 数学家在研究工作中，，，. 归纳是演绎的基础，，，. (1) 试验. (2) 归纳. (3) 猜想. (4) 演绎证明. 五. 分析. 分析法是把整体分解为部分，，. 数学中的分析法大致有以下几种. 1. 元过程分析法. 通过对事物有代表性的局部小单元的研究，. 2. 追溯分析法. 它从结论出发，，，，. 3. 混合分析法. 在许多情况下，，，，， ，. 六. 综合. 综合是与分析相对的， . 数学的发展史上有过分化和整合两种现象，，，，，，，. 在非标准分析的理论中，. 另一方面，，. 应当注意，. 它们的辩证统一使数学理论的发展不断向深度和高度展开，. 不断地分析现象和局部， ，，. 七. 证明. 证明是借助于已确立真实性的命题按照一定规则来确定另一命题的真实性. 任何一个证明都由论题(需要被证实为真的命题)、论据(用来证实论题为真的那些命题)与论证方式(证明中运用的推理形式与规则)三部分构成. 每一个证明必须遵循以下三个规则: 1. 论题必须明确且同一. 论题明确是证明的先决条件，，，. 例13. 求极限 . 如果应用公式,算出，x “从 ”换成了“ ”，，错误的. 事实上应有. 2. 论据必须真实、充分而不循环. 论据的真实与充分易于理解，，，. 例14. 已知△ABC中， ADA的平分线， BDDC， : ABAC. 伪证: 如图，AB上取点E， AE=AC， DE. 由AD平分∠BAC 得△ACD≌△AED， C=∠AED. 由外角定理知∠AED∠B， C∠B， ABAC. 评析. 证明中取AE=AC，ABAE=AC. 这相当于从ABAC出发，ABAC. “犯了循环论证”的逻辑错误. 例15. 对 ， . 伪证: 由 ·········(7) ·········(8) 但 ·········(9) 故得 ·········(10) 评析. 式(7)， (8)， (9)，(10)是无效的，“大于较大的数者也较大”，. 3. 论证方式必须遵循一定的推理规则， . 数学证明的具体方法很多，， ，. 至于具体名目的的数学证明还有反证法，，. 这里不一一叙述了. 八. 反驳. 在数学理论的发展长河中，，，. 反驳法是以确知为真的命题，，(反驳什么)、反驳论据(用什么反驳)与反驳方式(怎样反驳)三部分组成. 为了掌握反驳法，，P: 函数 在a连续. 假如你要驳斥P，P，P成立. 那么就要列出在a连续的充分必要条件: 有定义且 存在且. 然后你去论证上述三个条件中的至少一个不成立. 一般来说，: 1. 简单命题的否定，“并非”二字. 例如 P: 集合A与集合B相等. : 并非集合A与集合B相等. 2. 复合命题的否定，: (a) 两个命题P与 Q的逻辑加(或称析取)的否定， ； (b) P与Q的逻辑乘(或称合取)的否定， ； (c) 的否定， . 3. 对含有量词的命题的否定，， 全称命题 ， X， ， X； ， X， ， X. 16. 函数 在a连续的定义为 ， ， 在a不连续应为 ，