海滨形式逻辑.docxVIP

第一章 海滨形式逻辑 一、海滨形式逻辑-基础知识 基础知识（一）： 三个推理规则 规则名称 内容 (1)逆否 A→B = ﹁B→﹁A (2)传递 A→B, B→C == A→B→ C (3)逆否传递 A → B → C = ﹁C→﹁B→﹁A 基础知识（二）： 十一种逻辑关系 十一种逻辑关系 序号 符号 读 联结词 含义 1 ∧ 且 但、且、既又、同时 同时成立 2 ∨ 或 或者…或者…；至少有一个 至少有一个 3 要么 要么…要么…；二者必居其一；不是…就是… 只能有一个 4 ﹁ 否 并非、不同意、为假 不成立 5 → 前推后 (1) 假设：…必须…；如果…那么…；只要…就… (2) 现实：…是…；所有…都… 充分条件 6 ← 后推前 (1) 只有…才…；（只有…；…才…） (2) A是B的必要条件（先决条件、前提、基础） 必要条件 7 ←→ 互推 当且仅当；A是B的唯一必要条件 8 A→﹁B 没有(一个)A是B 9 ﹁A→B 除非A，否则B；(A，否则B；B，除非A；) 10 有A→B 有（有的/一些/有些）…是… 三个特性： (1) 不确定性 (2) 不能逆否 (3) 互换特性 11 无连接词 (1) 因果关系: 因 ? 果 (2) 推理关系: 谁出现会导致谁 基础知识（三）： 六种关系 （一）矛盾关系（必一真一假） （1） A，﹁A （2） 都，有的不 （3） 都不，有的 （4） A→B，A∧﹁B （二）反对关系 （5）有的，有的不（至少一真） （6）都，都不（至少一假） 例1. 已知“所有的鸟都会飞” 为真，判断以下各命题的情况：（是真、是假、还是不确定？） 所有的鸟都不会飞。 有的鸟会飞。 有的鸟不会飞。 鸵鸟会飞。 鸵鸟不会飞。 例2. 已知“所有的鸟都会飞”为假，判断以下各命题的真假情况： 所有的鸟都不会飞。 有的鸟会飞。 有的鸟不会飞。 鸵鸟会飞。 鸵鸟不会飞。 例3. 已知“所有的鸟都不会飞” 为假，判断以下各项的真假情况： 所有的鸟都会飞。 有的鸟会飞。 有的鸟不会飞。 鸵鸟会飞。 鸵鸟不会飞。 ------------------------------------------------------------------------ 题型1：模态命题 例4.（2003-1-49）不必然任何经济发展都导致生态恶化，但不可能有不阻碍经济发展的生态恶化。 以下哪项最为准确地表达了题干的含义？ A．任何经济发展都不必然导致生态恶化，但任何生态恶化都必然阻碍经济发展。 B．有的经济发展可能导致生态恶化，而任何生态恶化都可能阻碍经济发展。 C．有的经济发展可能不导致生态恶化，但任何生态恶化都可能阻碍经济发展。 D．有的经济发展可能不导致生态恶化，但任何生态恶化都必然阻碍经济发展。 E．任何经济发展都可能不导致生态恶化，但有的生态恶化必然阻碍经济发展。 例5.（2008-1-58）人都不可能不犯错误，不一定所有人都会犯严重错误。 如果上述断定为真，则以下哪项一定为真？ A．人都可能犯错误，但有的人可能不犯严重错误。 B．人都可能犯错误，但所有的人都可能不犯严重错误。 C．人都一定会犯错误，但有的人可能不犯严重错误。 D．人都一定会犯错误，但所有的人都可能不犯严重错误。 E．人都可能会犯错误，但有的人一定不犯严重错误。 ------------------------------------------------------------------------ 题型2：摩根公式 例6.（2002-1-48）总经理：我主张小王和小孙两人中至少提拔一人。 董事长：我不同意。 以下哪项，最为准确地表述了董事长实际上同意的意思？ A．小王和小孙两人都得提拔。 B．小王和小孙两人都不提拔。 C．小王和小孙两人中至多提拔一人。 D．如果提拔小王，则不提拔小孙。 E．如果不提拔小王，则提拔小孙。 例7.（1999-10-57、2002-10-13）小董并非既懂英文又懂法语。 如果上述断定为真，那么下述哪项断定必定为真？ A．小董懂英文但不懂法语。 B．小董懂法语但不懂英文。 C．小董既不懂英文也不懂法语。 D．如果小董懂英文，小董一定不懂法语。 E．如果小董不懂法语，那么他一定懂英文。 例8.（2005-1-42）对所有产品都进行了检查，并没有发现假冒伪劣产品。 如果上述断定为假，则以下哪项为真？ Ⅰ．有的产品尚未经检查，但发现了假冒伪劣产品。 Ⅱ．或者有的产品尚未经过检查，或者发现了假冒伪劣产品。 Ⅲ．如果对所有产品都进行了检查，则可发现假冒伪劣产品。 A．仅Ⅰ B．仅Ⅱ C．仅Ⅲ D．仅Ⅰ和Ⅱ E．Ⅱ和Ⅲ ----------------