逻辑高手（学过逻辑学的）进来帮小弟回答些题目的问题,详细而且的话就再加50分一、运用三段论的一般规则检验下列三段论推理是否有效,若无效请指出违反什么规则.1.凡是近视都带眼镜,

　　逻辑高手（学过逻辑学的）进来帮小弟回答些题目的问题,详细而且的话就再加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;

　　5A∧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))