海滨形式逻辑

第一章海滨形式逻辑第一章海滨形式逻辑 一、海滨形式逻辑一、海滨形式逻辑- -基础知识基础知识 基础知识（一）基础知识（一） ：三个推理规则：三个推理规则 规则名称规则名称 (1)(1)逆否逆否 (2)(2)传递传递 (3)(3)逆否逆否传递传递 A A→→B=B=﹁﹁B B→﹁→﹁A A A A→→B,BB,B→→C==AC==A→→B B→→C C A A→→B B→→C=C=﹁﹁C C→﹁→﹁B B→﹁→﹁A A 内容内容 基础知识（二）基础知识（二） ：十一种逻辑关系：十一种逻辑关系  十一种逻辑关系十一种逻辑关系 序号序号 1 1 2 2 3 3 4 4 5 5 6 6 7 7 8 8 9 9 1010 符号符号 ∧∧ ∨∨ 读读 且 或 要么 ﹁﹁ →→ ←← ←→←→ A A→﹁→﹁B B ﹁﹁A A→→B B 有有 A A→→B B 否 联结词联结词 但、且、既又、同时 或者…或者…；至少有一个 要么…要么…；二者必居其一；不是…就是… 并非、不同意、为假 (2)现实：…是…；所有…都… 后推前(1)只有…才…； （只有…；…才…） (2)A 是 B 的必要条件（先决条件、前提、基础） 互推当且仅当；A 是 B 的唯一必要条件 没有(一个)A 是 B 除非 A，否则 B；(A，否则 B；B，除非 A；) 有（有的/一些/有些）…是… 三个特性： (1)不确定性 (2)不能逆否 (3)互换特性 1111无连接无连接 词词 (1)因果关系:因果 (2)推理关系:谁出现会导致谁 必要条件 含义含义 同时成立 至少有一个 只能有一个 不成立 前推后(1)假设：…必须…；如果…那么…；只要…就…充分条件 基础知识（三）基础知识（三） ：六种关系：六种关系 （一）矛盾关系（（一）矛盾关系（必必一真一假）一真一假） （（1 1））A A，﹁，﹁A A （（2 2）都，有的不）都，有的不 （（3 3）都不，有的）都不，有的 （（4 4））A A→→B B，，A A∧﹁∧﹁B B （二）反对关系（二）反对关系 （（5 5）有的，有的不（至少一真））有的，有的不（至少一真） （（6 6）都，都不（至少一假））都，都不（至少一假） 例例 1.1.已知“所有的鸟都会飞”为真，判断以下各命题的情况： （是真、是假、还 是不确定？） （1）所有的鸟都不会飞。 （2）有的鸟会飞。 （3）有的鸟不会飞。 （4）鸵鸟会飞。 （5）鸵鸟不会飞。 例例 2.2.已知“所有的鸟都会飞”为假，判断以下各命题的真假情况： （1）所有的鸟都不会飞。 （2）有的鸟会飞。 （3）有的鸟不会飞。 （4）鸵鸟会飞。 （5）鸵鸟不会飞。 例例 3.3.已知“所有的鸟都不会飞”为假，判断以下各项的真假情况： （1）所有的鸟都会飞。 （2）有的鸟会飞。 （3）有的鸟不会飞。 （4）鸵鸟会飞。 （5）鸵鸟不会飞。 ------------------------------------------------------------------------ 题型题型 1 1：模态命题：模态命题 例例 4.4.（2003-1-49）不必然任何经济发展都导致生态恶化，但不可能有不阻碍经 济发展的生态恶化。 以下哪项最为准确地表达了题干的含义？ A． 任何经济发展都不必然导致生态恶化， 但任何生态恶化都必然阻碍经济发展。 B．有的经济发展可能导致生态恶化，而任何生态恶化都可能阻碍经济发展。 C．有的经济发展可能不导致生态恶化，但任何生态恶化都可能阻碍经济发展。 D．有的经济发展可能不导致生态恶化，但任何生态恶化都必然阻碍经济发展。 E．任何经济发展都可能不导致生态恶化，但有的生态恶化必然阻碍经济发展。 例例 5.5.（2008-1-58）人都不可能不犯错误，不一定所有人都会犯严重错误。 如果上述断定为真，则以下哪项一定为真？ A．人都可能犯错误，但有的人可能不犯严重错误。 B．人都可能犯错误，但所有的人都可能不犯严重错误。 C．人都一定会犯错误，但有的人可能不犯严重错误。 D．人都一定会犯错误，但所有的人都可能不犯严重错误。 E．人都可能会犯错误，但有的人一定不犯严重错误。 ------------------------------------------------------------------------ 题型题型 2 2：摩根公式：摩根公式 例例 6.6.（2002-1-48）总经理：我主张小王和小孙两人中至少提拔一人。 董事长：我不同意。 以下哪项，最为准确地表述了董事长实际上同意的意思？ A．小王和小孙两人都得提拔。 B．小王和小孙两人都不提拔。 C．小王和小孙两人中至多提拔一人。 D．如果提拔小王，则不提拔小孙。 E．如果不提拔小王，则提拔小孙。 例例 7.7.（1999-10-57、2002-10-13）小董并非既懂英文又懂法语。 如果上述断定为真，那么下述哪项断定必定为真？ A．小董懂英文但不懂法语。 B．小董懂法语但不懂英文。 C．小董既不懂英文也不懂法语。 D．如果小董懂英文，小董一定不懂法语。 E．如果小董不懂法语，那么他一定懂英文。 例例 8.8.（2005-1-42）对所有产品都进行了检查，并没有发现假冒伪劣产品。 如果上述断定为假，则以下哪项为真？ Ⅰ．有的产品尚未经检查，但发现了假冒伪劣产品。 Ⅱ．或者有的产品尚未经过检查，或者发现了假冒伪劣产品。 Ⅲ．如果对所有产品都进行了检查，则可发现假冒伪劣产品。 A．仅ⅠB．仅ⅡC．仅ⅢD．仅Ⅰ和ⅡE．Ⅱ和Ⅲ ------------------------------------------------------------------------ 题型题型 3 3：单步推理：单步推理 例例 9.9.（2004-10-44）如果鸿图公司的亏损进一步加大，那么是胡经理不称职； 如果没有丝毫撤换胡经理的意向，那么胡经理就是称职的；如果公司的领导班子不 能团结一心，那么是胡经理不称职。 如果上述断定为真，并且事实上胡经理不称职，那么以下哪项一定为真？ A．公司的亏损进一步加大了。 B．出现了撤换胡经理的意向。 C．公司的领导班子仍不能团结一心。 D．公司的亏损进一步加大，并且出现撤换胡经理的意向。 E．领导班子不能团结一心，并且出现撤换胡经理的意向。 例例 10.10.（2009-10-27）林斌一周工作五天，除非这周内有法定休假日。上周林斌 工作了六天。 如果上述断定为真，以下哪项一定为真？ A．上周可能有也可能没有法定休假日。 B．上周林斌至少有一天在法定工作日工作。 C．上周一定有法定休假日。 D．上周一定没有法定休假日。 E．以上各项都不一定为真。 例例 1111．． （2015-1-47）如果把一杯酒倒进一桶污水中，你得到的是一桶污水；如 果把一杯污水倒进一桶酒中，你得到的仍然是一桶污水。在任何组织中，都可能存 在几个难缠人物，他们存在的目的似乎就是把事情搞糟。如果一个组织不加强内部 管理，一个正直能干的人进入某低效的部门就会被吞没，而一个无德无才者很快就 能将一个高效的部门变成一盘散沙。 根据以上信息，可以得出以下哪项？ A．如果组织中存在几个难缠