题目

跪求答案(尤其是后面两大题,
一、运用三段论的一般规则检验下列三段论推理是否有效,若无效请指出违反什么规则.
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.y(Sx→Py∧R(x.y)) x(Py∧(Sx→R(x,y))

提问时间：2021-01-12

答案

一：
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
后面几个题没学过