法律逻辑学 用真值表分析问题某单位分房,甲乙丙丁四人中有一人分不到房甲说:如果乙分不到,那么我也分不到.乙说:如果我和甲分到,那么丁也分到.丙说:我和丁至少一人分到.丁说:如果

来源:学生作业帮助网 编辑:作业帮 时间:2024/05/10 02:53:29
法律逻辑学 用真值表分析问题某单位分房,甲乙丙丁四人中有一人分不到房甲说:如果乙分不到,那么我也分不到.乙说:如果我和甲分到,那么丁也分到.丙说:我和丁至少一人分到.丁说:如果

法律逻辑学 用真值表分析问题某单位分房,甲乙丙丁四人中有一人分不到房甲说:如果乙分不到,那么我也分不到.乙说:如果我和甲分到,那么丁也分到.丙说:我和丁至少一人分到.丁说:如果
法律逻辑学 用真值表分析问题
某单位分房,甲乙丙丁四人中有一人分不到房甲说:如果乙分不到,那么我也分不到.乙说:如果我和甲分到,那么丁也分到.丙说:我和丁至少一人分到.丁说:如果我和乙分到,那么丙也分到.问:为满足上述四人要求,应该如何分房?

法律逻辑学 用真值表分析问题某单位分房,甲乙丙丁四人中有一人分不到房甲说:如果乙分不到,那么我也分不到.乙说:如果我和甲分到,那么丁也分到.丙说:我和丁至少一人分到.丁说:如果
题目已知有一人分不到房,即有:
1、假设甲分不到房(即乙丙丁分到房),有甲真、乙真、丙真、丁真.
2、假设乙分不到房(即甲丙丁分到房),有甲假、乙真、丙真,丁假;
3、假设丙分不到房(即甲乙丁分到放),有甲真、乙真、丙真、丁假;
4、假设丁分不到房(即甲乙丙分到放),有甲真、乙假、丙真、丁假;
所以答案是甲分不到房.
需要注意的是
甲说如果乙分不到那么自己也分不到,但不等于说乙分到了自己也就分到.所以甲分不到房,甲的要求也是真.
乙说甲乙分到房则丁也分到,并不等于需要甲乙同时分到“才”有丁分到,乙说的但不排除甲乙其中一人分不到时,丁依然分到的可能,故当甲分不到房时,乙也是真.

有一个人分不到,如果乙分不到则甲也分不到就有两个人了,所以乙一定分得到。
由乙的话得出,如果丁分不到,则乙和甲至少有一个得不到,也跟只有一个人得不到有冲突,所以也不是丁。
再看丁的话,如果丙分不到,则丁和乙里面也至少一个得不到。也冲突。
不是乙不是丁不是丙,所以是甲得不到,代入题目符合题设...

全部展开

有一个人分不到,如果乙分不到则甲也分不到就有两个人了,所以乙一定分得到。
由乙的话得出,如果丁分不到,则乙和甲至少有一个得不到,也跟只有一个人得不到有冲突,所以也不是丁。
再看丁的话,如果丙分不到,则丁和乙里面也至少一个得不到。也冲突。
不是乙不是丁不是丙,所以是甲得不到,代入题目符合题设

收起