法律逻辑学 用真值表分析问题

Question

某单位分房，甲乙丙丁四人中有一人分不到房甲说：如果乙分不到，那么我也分不到。乙说：如果我和甲分到，那么丁也分到。丙说：我和丁至少一人分到。丁说：如果我和乙分到，那么丙也分到。问：为满足上述四人要求，应该如何分房？

Answer 1

题目已知有一人分不到房，即有：
1、假设甲分不到房（即乙丙丁分到房），有甲真、乙真、丙真、丁真。
2、假设乙分不到房（即甲丙丁分到房），有甲假、乙真、丙真，丁假；
3、假设丙分不到房（即甲乙丁分到放），有甲真、乙真、丙真、丁假；
4、假设丁分不到房（即甲乙丙分到放），有甲真、乙假、丙真、丁假；
所以答案是甲分不到房。
需要注意的是
甲说如果乙分不到那么自己也分不到，但不等于说乙分到了自己也就分到。所以甲分不到房，甲的要求也是真。
乙说甲乙分到房则丁也分到，并不等于需要甲乙同时分到“才”有丁分到，乙说的但不排除甲乙其中一人分不到时，丁依然分到的可能，故当甲分不到房时，乙也是真。

Answer 2

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