形式逻辑作业 谁帮忙做一下？

LS思路不对，看来不懂逻辑，我贴个答案给LZ啊

二、（图片没法贴，给你个文字叙述吧）
1、b和acd都全异，ac、ad是种属关系，cd是交叉关系。
2、ab全异，ac、ad、bc、bd、cd交叉。
3、a和bcd属种关系，b和cd属种关系，cd矛盾关系。
4、a和bcd属种关系，bc矛盾，bd、cd交叉。
5、a和bcd交叉关系，b和cd交叉，cd属种关系。
6、a和bcd属种关系，b和cd交叉，cd矛盾关系。
三、
1、错。因为此定义直接循环（即同语反复）。
2、错。因为此定义间接循环。
3、对。因为此定义符号定义规则。
4、错。因为此定义定义过宽。
5、错。因为此定义定义否定。
6、错。因为此定义用比喻代替定义。

1、甲组有9人会游泳，没人不会 （1）（2）必有一句是真话，故（3）是假话，小林会游泳，（2）是假话
2、戴维斯是凶手 过程略

一、

1、如图 

二、

1、推理无效，主谓项的简单互换错误

2、推理无效，个体此项与集合词项混淆

3、推理无效，假言充分条件推理否定前件式错误

4、推理无效，假言必要条件推理肯定后件式错误

第二次作业

把p看做学习努力，q为考上大学

则a的真值形式是：q→p，b的为￢（p→q）

真值表构造为

p q q→p p→q ￢（p→q）

T T T T F

T F T F T

F T F T F

F F T T F

二者不等值。

二、

由（1）（2），通过假言充分条件推理否定后件式得出，甲或者乙不是杀人犯。

由（2）（3），通过假言充分条件推理的肯定前件式得出，乙是杀人犯

由上边两式，通过选言推理的否定肯定是，得出，甲不是杀人犯，乙是杀人犯。

第三次作业

所有的科学家都是知识分子（SAM）

有的知识分子是大学生（MIP）

所以，有的科学家是大学生（SIP）