Question

逻辑高手（学过逻辑学的）进来帮小弟回答些题目的问题，万分感谢！详细而且的话就再加50分

一、运用三段论的一般规则检验下列三段论推理是否有效，若无效请指出违反什么规则。
1.凡是近视都带眼镜，张教授带眼镜，所以，张教授一定近视。
2 劳动模范要起带头作用，我不是劳动模范，所以，我不用起模范带头作用。
3 有些人是懦夫，有些人是懒汉，所以游戏懦夫是懒汉。
4 海豚不是鱼，海狮不是海豚，所以海狮不是鱼。
5 并非所有的道德风险都能转嫁，个人信誉风险是道德风险，所以个人信誉风险不能转嫁。
二、运用形式证明方法证明下列推理是有效的
1、A→B∨C,¬ B├ A →C ;
2、A∧B →（A→D∧E），A∧B∧C├ D∨E；
3、A∨B→C∧D，¬ C ├ ¬ B ；
4、A∨（B∧C）,(A→D) ∧（D→C）├ C ;
5 A∧B→C, C→D∨E,E→F,D∧¬ F ├ ¬ A 。
三、运用解释的方法证明下列谓词公式不是普效式。
1. ∀x(Ex→Gx), ∀x(Ex→Fx) ├ ∀x(Fx→Gx)
2.R(a,b),R(b,c) ├ R(a,c);
3. ∀x(Fx∨Gx) →∀xFx∨∀xGx;
4. ∃xFx∧∃xGx→∃x(Fx∧Gx)
5. ∀x∃y(Sx→Py∧R(x.y)) →∃y∀x(Py∧(Sx→R(x,y))

Answer 1

一、运用三段论的一般规则检验下列三段论推理是否有效，若无效请指出违反什么规则。
答：下面推理均无效。
1.凡是近视都带眼镜，张教授带眼镜，所以，张教授一定近视。
中项“戴眼睛”两次不周延，违犯了规则一，犯了“中项两次周延”的错误。
2 劳动模范要起带头作用，我不是劳动模范，所以，我不用起模范带头作用。
大项“带头作用”在前提中不周延，在结论中周延了。违反规则二：在前提中不周延的项，在结论中也不得周延。
3 有些人是懦夫，有些人是懒汉，所以游戏懦夫是懒汉。
违反规则六：两个特称前提不能推出结论。
4 海豚不是鱼，海狮不是海豚，所以海狮不是鱼。
违反规则六：两个否定前提推不出结论。
5 并非所有的道德风险都能转嫁，个人信誉风险是道德风险，所以个人信誉风险不能转嫁。
第一，“并非所有的道德风险都能转嫁”等于说“有的道德风险不能转嫁”，中项“道德风险”两次不周延，犯了“中项两次周延”的错误。第二，大前提是否定的，结论是肯定的，违反了规则四：如果前提中有一个是否定的，那么结论是否定的。

Answer 2

1.凡是近视都带眼镜，张教授带眼镜，所以，张教授一定近视。
-2是4的平方根，但是4的平方根不只有-2.你不给张教授远视啊？

2 劳动模范要起带头作用，我不是劳动模范，所以，我不用起模范带头作用。
-2是4的平方根，但是4的平方根不只有-2。你不是模范你就不用起带头作用啊？【我好懒……

3 有些人是懦夫，有些人是懒汉，所以有些懦夫是懒汉。
理论上没有错……

4 海豚不是鱼，海狮不是海豚，所以海狮不是鱼。
海豚和鱼是两种不同的分类。1不等于2,2不等于1，但2等于2.虽然海狮确实不是鱼……

5 并非所有的道德风险都能转嫁，个人信誉风险是道德风险，所以个人信誉风险不能转嫁。
理论上没错……

下面的就懒得思索了……