一、运用三段论的一般规则检验下列三段论推理是否有效,若无效请指出违反什么规则。
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))