淮海工学院逻辑学试卷.doc

《淮海工学院逻辑学试卷.doc》由会员上传分享，免费在线阅读，更多相关内容在应用文档-天天文库。

1、淮海工学院2010-2011学年第一学期逻辑学试卷1（开卷）题号一二三四五总分得分一、填空题(本大题共20分，每空1分)得分1.在“有S不是P”中，逻辑变项是在“（p∧q）→r”中，逻辑常项是。2.设“A判断与B判断矛盾”、“B判断与C判断矛盾”，则A判断与C判断具有关系。3.用p表示“小王是大学生”，q表示“小李是大学生”，与“如果小王是大学生，那么小李是大学生”相等值的选言判断的逻辑形式是。4.在关系“真包含、反对、矛盾”中，属于传递性关系的是，属于非传递关系的是。5.已知p∧（q→r）与¬r均真，则

2、p取值为，q取值为。6.遵守三段论所有一般规则，是三段论形式有效的条件。7.“A或B是作案人”，其矛盾命题是。8．在探求因果联系的逻辑方法中，求同法的特点是。9．若要使“只有P，才非q”与“非P并且q”均真，那么P与q的取值情况是P为，q为。10．若一有效三段论的结论为全称肯定命题，则其大前提应为，小前提应为。11、通过增加概念的内涵以缩小概念的外延，由一个外延较大的概念过渡到一个外延较小的概念的推演叫。12、由“S必然是P”为真，可以推知“S可能是P”为，“S可能不是P”为。13．根据推理中从前提到结论

3、的思维进程不同，可以把推理分为三类：演绎推理、归纳推理和。14．反证法是先论证与原命题相矛盾的论断为假，然后根据确定原论题为真。二、单项选择题(本大题共10小题，每小题1分，共10分，在每小题列出的四个选项中有一个选项是符合题目要求的，请将正确选项前的字母填在题中的括号内)得分1．在①“中国人是勤劳勇敢的”和②“小王是中国人”中，“中国人”（）A.都是集合概念B.都是非集合概念C.在①中是非集合概念，在②中是集合概念D.在①中是集合概念，在②中是非集合概念2．“文学作品是反映现实生活的艺术作品，包括小说、

4、诗歌、戏剧和散文。”这句话中对“文学作品”这一概念是（）来说明的A.仅从内涵方面B.仅从外延方面C.先从内涵方面，再从外延方面D.先从外延方面，再从内涵方面3．已知p←q为假，则p与q的取值情况必为（）A.p与q都真B.p与q都假C.p真且q假D.p假且q真　　　4．以“A∧B”和“¬B∨C”为前提进行演绎推理，可得出的结论是()A.A∧¬BB.C∧BC.B∧¬CD.¬C∧A5．因船舶遇难落水人在水中最多能坚持多久？有人研究发现，会水的人在水温0°C时可坚持15分钟；在2.5°C时是30分钟；在5°C时是

5、1小时；10°C时是3小时；25°C时是一昼夜。可见，人在水中坚持的时间长短与水温高低有因果联系。获得这一结论运用的是探求因果联系的()逻辑方法A.求同法　B.求异法　C.共变法　D.剩余法6．“I与O至少一真。因为若A判断真，则I判断真；若A判断假，则O判断真；而A判断真或A判断假”这个论证()A.正确　B.偷换论题C.论据虚假　D.犯有“推不出”的错误7．“并非今天可能下雪”等值于()A.今天可能不下雪B.今天不可能下雪C.今天必然下雪D.今天必然不下雪8．“所有P不是M，有的S是M，所以有的S不是P

6、”，这一推理形式是()A.第一格的EIO式B.第二格的EIO式C.第三格的AII式D.第四格的EIO式9．“参加会议的都不是科学家”和“参加会议的没有一个不是科学家”这两个命题之间是（）A、矛盾关系B、反对关系C、下反对关系D、从属关系10．“甲爱上了乙，所以乙也爱上了甲”，这个关系推理的逻辑错误是是（）A．误把非对称关系作为对称关系B．误把反对称关系作为对称关系C．误把非传递关系作为传递关系D．误把反传递关系作为传递关系三、图解表解题(本大题共4小题，每小题6分，共24分。)得分1、用欧拉图表示下列标有

7、横线的概念间的外延关系：《子夜》（A）是茅盾（B）写的，茅盾原名沈雁冰（C）。《子夜》不是巴金（D）写的，巴金写过《家》（E）。《子夜》和《家》都是著名的文学作品（F）2、写出下列命题的等值命题，并用真值表加以验证：并非“他既有才又有德”3、用真值表回答，当下列A、B、C二真一假时，能断言哪一句为真（或为假），不能断言哪一句为真（或为假）。A．要么小王出国，要么小孙出国B．要么小王出国，要么小孙不出国C．小王和小孙至少有一人不出国（p为“小王出国，q为”小孙出国；T为真，F为假）4、列出下列A、B、C三个

8、判断的真值表，并根据真值表回答：当A、B、C中只有一句真时，哪一句话真？甲是否去开会？乙是否去上学？A：如果乙去上学，那么甲去开会B：并非要么甲去开会要么乙去上学C：甲不去开会或乙不去上学四、证明题(本大题共3小题，第一题6分，第二、三题分别5分，共16分。)得分1、证明三段论的第六条规则：“两个特称前提得不出必然的结论”二、一个正确的三段论，其大前提是特称否定命题，这个三段论的小前提和结论各是什么命题？它属于第几格？为什么？