跪求答案(尤其是后面兩大題,
一、運(yùn)用三段論的一般規(guī)則檢驗(yàn)下列三段論推理是否有效,若無(wú)效請(qǐng)指出違反什么規(guī)則.
1.凡是近視都帶眼鏡,張教授帶眼鏡,所以,張教授一定近視.
2 勞動(dòng)模范要起帶頭作用,我不是勞動(dòng)模范,所以,我不用起模范帶頭作用.
3 有些人是懦夫,有些人是懶漢,所以游戲懦夫是懶漢.
4 海豚不是魚,海獅不是海豚,所以海獅不是魚.
5 并非所有的道德風(fēng)險(xiǎn)都能轉(zhuǎn)嫁,個(gè)人信譽(yù)風(fēng)險(xiǎn)是道德風(fēng)險(xiǎn),所以個(gè)人信譽(yù)風(fēng)險(xiǎn)不能轉(zhuǎn)嫁.
二、運(yùn)用形式證明方法證明下列推理是有效的
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 .
三、運(yùn)用解釋的方法證明下列謂詞公式不是普效式.
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))