《形式逻辑试卷.doc完》由会员分享，可在线阅读，更多相关《形式逻辑试卷.doc完（2页珍藏版）》请在金锄头文库上搜索。
1、一、下列标有括号的语词，是在集合意义下使用，表达集合概念？还是在非集合的意义上使用的，表达非集合概念？ （10分）物质(A)是不灭的，地球是物质(B)，所以地球是不灭的。P12 A是集合概念 B是非集合概念二、下列语句作为定义有错误，请指出它们各违反什么规则？并略作分析。（10分）商品是产品。P17？ 定义过窄 三、指出下列题中，A是B 的什么条件？（10分）A: 物体改变运动状态，B:外力作用P35 必要条件四、写出下列命题的逻辑形式（10分）1.小李有优点又有缺点 联言命题（p并且q） p332.任何人都会犯错误，但并非都能改正错误负命题（并非p）五、已知下列判断为假，请根据性质判断之间的
2、对当关系，指出与其主谓项相同的其他三种判断的真假情况，并说明作为依据的对当关系为何种关系？（10分）p83SAP假，根据矛盾关系，可知SOP（真 ），根据上反对关系，SEP真假（不定），根据差等关系，可知SIP真假（不定 ）。六、下列三段论是否正确？如不正确，它违反了哪条规则。（10分）p88张三不老实，张三是中国人，所以，中国人不老实解：三段论无效，违反前提中不周延的项，在结论中也不得周延。七、某公司准备选拔一个销售经理，甲、乙、丙三位董事经过充分考虑后提出意见如下（10分）：第三章习题p74 甲：要么聘用李先生，要么聘用王先生。 乙：如果不聘用李先生，那么也不要聘用王先生。 丙：如果不聘用
3、王先生，那么就聘用李先生。 如何选择一个方案，同时满足三位董事的意见？写出逻辑推导过程。聘用李先生 （真值表）李王非李非王李非王非李非王非王李0011110011010110011111100011由真值表可见当李去王不去时符合要求.八、求下面的推理式的合取范式，并判断它是否有效？（每题30分，共30分）如果在有限长的线段L上存在无限多个点的话（p），那么，如果这些点有长度（q），则L将无限长（r）；如果这些点没有长度，则L也将没有长度（s）。而一个有限长的线段不可能无限长，也不可能没有长度。因此，在有限长的线段上不可能存在无限多个点。P73解：p表示“L上有无限多点”，q表示“点有长度”，r表示“L无限长”，s表示“L没有长度”。证明：(1) p(qr)(qs) P(2) rs P(3) p P(引入的假设)(4) (qr)(qs) T,(1),(3)(5) qr T,(4)(6) qs T,(4)(7) r T,(2)(8) s T,(2)(9) q T,(5),(7)(10) q T,(6),(7)(11) qq T,(9),(10)(12) p 归谬规则，（3），（11）结论：推理有效。
