形式逻辑试卷doc完.docVIP

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