作业帮逻辑高手（学过逻辑学的）进来帮小弟回答些题目的问题,详细而且的话就再加50分一、运用三段论的一般规则检验下列三段论推理是否有效,若无效请指出违反什么规则.1.凡是近视都带眼镜,
来源：学生作业帮助网 编辑：作业帮 时间：2024/05/02 12:51:58
逻辑高手（学过逻辑学的）进来帮小弟回答些题目的问题,详细而且的话就再加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 ;
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))
逻辑高手（学过逻辑学的）进来帮小弟回答些题目的问题,详细而且的话就再加50分一、运用三段论的一般规则检验下列三段论推理是否有效,若无效请指出违反什么规则.1.凡是近视都带眼镜,
1.凡是近视都带眼镜,张教授带眼镜,所以,张教授一定近视.
-2是4的平方根,但是4的平方根不只有-2.你不给张教授远视啊?
2 劳动模范要起带头作用,我不是劳动模范,所以,我不用起模范带头作用.
-2是4的平方根,但是4的平方根不只有-2.你不是模范你就不用起带头作用啊?【我好懒……
3 有些人是懦夫,有些人是懒汉,所以有些懦夫是懒汉.
理论上没有错……
4 海豚不是鱼,海狮不是海豚,所以海狮不是鱼.
海豚和鱼是两种不同的分类.1不等于2,2不等于1,但2等于2.虽然海狮确实不是鱼……
5 并非所有的道德风险都能转嫁,个人信誉风险是道德风险,所以个人信誉风险不能转嫁.
理论上没错……
下面的就懒得思索了……