Question

形式逻辑题目~跪求答案(尤其是后面两大题，拜托了)

一、运用三段论的一般规则检验下列三段论推理是否有效，若无效请指出违反什么规则。
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. P A Q, R a Q, R a P
中项Q至少周严一次

2. P A Q, R e P, R e Q
前否结论否

3. P I Q, P I R, Q A R
前提两个特称，两特特不出结论

4. P E Q, R E P, R E Q
前否结论否

5. 并非所有的道德风险都能转嫁 = 有的道德风险一定不转嫁
P I Q, R A P, R E Q
前否结论否

二：^ 代表 ‘非’， + 代表‘并且’
A→B∨C
^B + ^C -> ^A
A + ^B -> C = A + ^C -> B

后面几个题没学过