法律邏輯學 用真值表分析問題

題目：

法律邏輯學 用真值表分析問題
某單位分房,甲乙丙丁四人中有一人分不到房甲說：如果乙分不到,那麼我也分不到.乙說：如果我和甲分到,那麼丁也分到.丙說：我和丁至少一人分到.丁說：如果我和乙分到,那麼丙也分到.問：爲滿足上述四人要求,應該如何分房?

解答：

題目已知有一人分不到房,即有：
1、假設甲分不到房（即乙丙丁分到房）,有甲真、乙真、丙真、丁真.
2、假設乙分不到房（即甲丙丁分到房）,有甲假、乙真、丙真,丁假；
3、假設丙分不到房（即甲乙丁分到放）,有甲真、乙真、丙真、丁假；
4、假設丁分不到房（即甲乙丙分到放）,有甲真、乙假、丙真、丁假；
所以答案是甲分不到房.
需要注意的是
甲說如果乙分不到那麼自己也分不到,但不等於說乙分到了自己也就分到.所以甲分不到房,甲的要求也是真.
乙說甲乙分到房則丁也分到,並不等於需要甲乙同時分到「才」有丁分到,乙說的但不排除甲乙其中一人分不到時,丁依然分到的可能,故當甲分不到房時,乙也是真.