数学中的逻辑.pptVIP

从反证法说起 牛顿曾经说过：“反证法是数学家最精当的武器之一”。 By：林明博 5080309664 反证法是一种数学工具，数学方法 数学方法有很多种： 公式法 、待定系数法 、放缩法 、归纳法 、比较法、 数学归纳法 、演绎法、 归谬法 、综合法 、配方法、 换元法 、化归法、 穷举法 、分析法 、构造法 个人喜欢反证法，体现了数学逻辑之美 此外也喜欢数学归纳法，配方法，换元法 一个反证法的范例 　　证明：素数有无穷多个。 　　这个古老的命题最初是由古希腊数学家欧几里德)在他的不朽著作《几何原本》里给出的一个反证法： 　　假设命题不真，则只有有限多个素数，设所有的素数是2=a1a2……an. 　　此时，令N=a1*a2*……*an+1,那么所有的ai(i=1,2,……,n)显然都不是N的因子，那么有两个可能：或者N有另外的素数真因子，或者N本身就是一个素数，但是显然有Nai(i=1,2……n).无论是哪种情况，都将和假设矛盾。这个矛盾就完成了我们的证明，所以确实有无穷多个素数！ 　　这个证明简短而又有力，充分体现了证明者的智慧，也体现出数学的概括性和美丽！ 对不对呀？ 这种反证法所依据的是逻辑思维规律中的“矛盾律”和“排中律”。在同一思维过程中，两个互相矛盾的判断不能同时都为真，至少有一个是假的，这就是逻辑思维中的“矛盾律”；两个互相矛盾的判断不能同时都假，简单地说“A或者非A”，这就是逻辑思维中的“排中律”。反证法在其证明过程中，得到矛盾的判断，根据“矛盾律”，这些矛盾的判断不能同时为真，必有一假，而已知条件、已知公理、定理、法则或者已经证明为正确的命题都是真的，所以“否定的结论”必为假。再根据“排中律”，结论与“否定的结论”这一对立的互相否定的判断不能同时为假，必有一真，于是我们得到原结论必为真。所以反证法是以逻辑思维的基本规律和理论为依据的，反证法是可信的。 我们的习惯 我们常常有这种思维，并且理所当然的认为这种思维是正常的思维：已知A，B，则由AB推出C，再由AC推出D，…………，最终得到我们需要的结论。 三段论式的推理。通过大前提小前提得出结论。 但是，有些问题常常不是我们通过直接推理能够得出。 反证法所依据的公理 原命题和它的逆否命题同真假！ 反证法真的无懈可击吗？ 原命题: ??存在一个人叫李兵，若李兵无病，则李兵的健康状况确定。 我们慢慢来得到它的逆否命题。 逆命题： 存在一个人叫李兵，若李兵的健康状况不确定，则李兵无病。 ?逆否命题： ?对于任何名叫李兵的人，若李兵的健康状况不确定，则李兵有病。 数学家们的反应 反证法这种方法绝大部分是正确的！ 反证法在我们的逻辑中是正确的。 自然语言的不严密性。 避而不谈。 事实 反证法是一种逻辑推理法 如果我们的逻辑是正确的，那么反证法就是正确的 我们无法证明我们的逻辑是正确还是错误。 因为，要想证明其对错与否，我们得用逻辑，用它本身去证明它本身，是一件很可笑的事情。 何谓逻辑？ 逻辑（logic）是在形象思维和直觉顿悟思维基础上对客观世界的进一步的抽象，所谓抽象是认识客观世界时舍弃个别的、非本质的属性，抽出共同的、本质的属性的过程，是形成概念的必要手段 我们所不能理解的逻辑 对于客观事物，我们的观察是否真的全面？ 蚂蚁是一个二维动物，在其世界中只有左右，没有上下。他无法理解三维世界。（比如，你把一个食物放在其头上，它绝不会跳起；顺着一个平面爬行直到翻一个面继续爬） 我们无法理解比我们高一个维度的逻辑！ 言归正传 我们先承认反证法是正确的，看看这个反证法还有什么让我们迷惑的地方呢？ 反证法的一些误区 归谬法与反证法是两种根本不同的论证方法 反证法着眼于证明，而归谬法则立足于反驳。 当原命题的否命题并不是一种的时候，需要一一否定，才能证明原命题的正确。 错误的使用 反证法的否命题并非原命题的否命题 结构不合理; 过程不完整; 推不出与定理、定义、已知条件或者假设相矛盾的结论. 问题又来了，悖论怎么 解释 在萨维尔村，理发师挂出一块招牌：“我只给村里所有那些不给自己理发的人理发。”有人问他：“你给不给自己理发？”理发师顿时无言以对。 　　 试着用反证法证明一下 假设他不应该给自己理发 推出矛盾，他属于不自己理发的人，他应该给自己理发，矛盾。 所以假设错误。 他应该给自己理发！ 关于悖论 同时假定两个或更多不能同时成立的前提，是一切悖论问题的共同特征 一个包含逻辑和初等数论的形式系统，如果是协调的，则是不完全的，亦即无矛盾性不可能在本系统内确立；如果初等算术系统是协调的，则协调性在算术系统内是不可能证明的。 结论 反证法不能用来证明存在两个或更多不能同时成立的前提的命题。 结束了……