海滨形式逻辑

《海滨形式逻辑》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、第一章海滨形式逻辑一、海滨形式逻辑-基础知识基础知识（一）：三个推理规则规则名称内容(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的必要条件

2、（先决条件、前提、基础）7←→互推当且仅当；A是B的唯一必要条件8A→﹁B没有(一个)A是B9﹁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.已知“所有的鸟都会飞”为真，判断以下各命题的情况：（是真、是假、还是不确定？）（1）所有的

3、鸟都不会飞。（2）有的鸟会飞。（3）有的鸟不会飞。（4）鸵鸟会飞。（5）鸵鸟不会飞。例2.已知“所有的鸟都会飞”为假，判断以下各命题的真假情况：（1）所有的鸟都不会飞。（2）有的鸟会飞。（3）有的鸟不会飞。（4）鸵鸟会飞。（5）鸵鸟不会飞。例3.已知“所有的鸟都不会飞”为假，判断以下各项的真假情况：（1）所有的鸟都会飞。（2）有的鸟会飞。（3）有的鸟不会飞。（4）鸵鸟会飞。（5）鸵鸟不会飞。------------------------------------------------------------------------题型1：模态命题例4.（2003-1-49）不必然

4、任何经济发展都导致生态恶化，但不可能有不阻碍经济发展的生态恶化。以下哪项最为准确地表达了题干的含义？A．任何经济发展都不必然导致生态恶化，但任何生态恶化都必然阻碍经济发展。B．有的经济发展可能导致生态恶化，而任何生态恶化都可能阻碍经济发展。C．有的经济发展可能不导致生态恶化，但任何生态恶化都可能阻碍经济发展。D．有的经济发展可能不导致生态恶化，但任何生态恶化都必然阻碍经济发展。E．任何经济发展都可能不导致生态恶化，但有的生态恶化必然阻碍经济发展。例5.（2008-1-58）人都不可能不犯错误，不一定所有人都会犯严重错误。如果上述断定为真，则以下哪项一定为真？A．人都可能犯错误，但有

5、的人可能不犯严重错误。B．人都可能犯错误，但所有的人都可能不犯严重错误。C．人都一定会犯错误，但有的人可能不犯严重错误。D．人都一定会犯错误，但所有的人都可能不犯严重错误。E．人都可能会犯错误，但有的人一定不犯严重错误。------------------------------------------------------------------------题型2：摩根公式例6.（2002-1-48）总经理：我主张小王和小孙两人中至少提拔一人。董事长：我不同意。以下哪项，最为准确地表述了董事长实际上同意的意思？A．小王和小孙两人都得提拔。B．小王和小孙两人都不提拔。C．小王和小

6、孙两人中至多提拔一人。D．如果提拔小王，则不提拔小孙。E．如果不提拔小王，则提拔小孙。例7.（1999-10-57、2002-10-13）小董并非既懂英文又懂法语。如果上述断定为真，那么下述哪项断定必定为真？A．小董懂英文但不懂法语。B．小董懂法语但不懂英文。C．小董既不懂英文也不懂法语。D．如果小董懂英文，小董一定不懂法语。E．如果小董不懂法语，那么他一定懂英文。例8.（2005-1-42）对所有产品都进行了检查，并没有发现假冒伪劣产品。如果上述断定为假，则以下哪项为真？Ⅰ．有的产品尚未经检查，但发现了假冒伪劣产品。Ⅱ．或者有的产品尚未经过检查，或者发现了假冒伪劣产品。Ⅲ．如果对

7、所有产品都进行了检查，则可发现假冒伪劣产品。A．仅ⅠB．仅ⅡC．仅ⅢD．仅Ⅰ和ⅡE．Ⅱ和Ⅲ------------------------------------------------------------------------题型3：单步推理例9.（2004-10-44）如果鸿图公司的亏损进一步加大，那么是胡经理不称职；如果没有丝毫撤换胡经理的意向，那么胡经理就是称职的；如果公司的领导班子不能团结一心，那么是胡经理不称职。如果上述断定为真，并且事实上胡经理不称