纠结的逻辑题

来源：百度知道 编辑：UC知道 时间：2024/06/30 10:11:21
参观ABCD,规定:去A就不去B,去B就去D,去C就不去D,不去C就去B,则下列判断中错误的是
1.不可能又去B又去C;2.去B的人和去D的人相同;3.去A的人就去C;4.去D的人就去A
错误是D,WHY?

你好！！
下面我用A表示“去A” ～A表示“不去A”,以此类推
已知：
1)A-->~B
2)B-->D
3)C-->~D
4)~C-->B
这里提到一个概念：逆否命题：
比如第一句话：“去A就不去B”可知“去B则一定没去A”
即B-->-A也成立

那么开始看答案先看四答案
由3得：D-->~C
再看4~C-->B
再看我刚才说那个B-->-A
得到D-->~A
ok了，其他得一样，
那么开始看答案先看一答案
运用 3的逆否D-->~C然后加上2
B-->D得：B-->D-->~C，
其他得应该也明白了吧，
呵呵，希望你满意

(A~B + ~A)(BD + ~B)(C~D + ~C)(~CB + C)
=(A~B + ~ABD + ~A~B)(C~D + ~CB)
=(~B + ~ABD)(C~D + ~CB)
=~BC~D + ~AB~CD
=A~BC~D + ~A~BC~D + ~AB~CD

也就是说只有三种可能
1, 去AC,不去BD
2, 去C, 不去ABD
3, 去BD, 不去AC

所以D错了...