搜搜考试网头疼的逻辑题,各位大侠帮俺看看啊
来源：学生作业帮 编辑：搜搜考试网作业帮 分类：综合作业 时间：2024/06/16 15:04:19
头疼的逻辑题,各位大侠帮俺看看啊
二、请画出下列命题形式的真值表,并判断是否是重言式.
1．(p∨q)→(p→q)
2．(p→q)→((p→q)→p)
三、下列推理是否有效?请写出推理的逻辑形式并说明理由.
1．某被告人的行为,要么是抢劫罪,要么是抢夺罪；经查实,该被告人的行为构成抢夺罪；所以,该被告人的行为不是抢劫罪.
2．如果你犯了法,你就会受到法律的制裁；如果你受到法律的制裁,别人就会看不起你；如果别人看不起你,你就得不到别人的尊重；而只有得到别人的尊重,你才能过得舒心.因此,要过得舒心,你就不能犯法.
二、请画出下列命题形式的真值表,并判断是否是重言式.
1．(p∨q)→(p→q)
2．(p→q)→((p→q)→p)
三、下列推理是否有效?请写出推理的逻辑形式并说明理由.
1．某被告人的行为,要么是抢劫罪,要么是抢夺罪；经查实,该被告人的行为构成抢夺罪；所以,该被告人的行为不是抢劫罪.
2．如果你犯了法,你就会受到法律的制裁；如果你受到法律的制裁,别人就会看不起你；如果别人看不起你,你就得不到别人的尊重；而只有得到别人的尊重,你才能过得舒心.因此,要过得舒心,你就不能犯法.
第二题列真值表太麻烦了,你可以自己试试,分别赋予p、q真值T或F,总共4种组合,如果每一组合下该命题形式均为真,那就是重言式.比如第1题,因为p为T、q为F时,p或q为T,p蕴含q为F,从而整个命题形式是T蕴含F,为假.所以不是重言式.
第三题都是有效推理,其实跟第二题没太大区别,主要难点在于形式化要正确,然后判断是否重言式.如果是重言式,就是有效推理.比如1,可表示为((P→非q)∧（非p→q）∧q)→非p.这是个重言式.
第三题都是有效推理,其实跟第二题没太大区别,主要难点在于形式化要正确,然后判断是否重言式.如果是重言式,就是有效推理.比如1,可表示为((P→非q)∧（非p→q）∧q)→非p.这是个重言式.