UC知道逻辑学分析证明题跪求高手。急！！!有追加
来源：百度知道 编辑：UC知道 时间：2024/05/29 19:44:19
某地发生一起案件侦查人员掌握了以下情况：
1.如果E在现场，那么A和C不会都不在现场。
2.如果B不在现场，那么A也不在现场。
3.如果C 在现场，那么B在现场
4.除非E在现场，D才在现场。
5.D在现场
根据侦查人员掌握的以上情况，B是否在现场？请写出推理过程。
（A表示“A在现场”┐A 表示“A不在现场”，依此类推）
1.如果E在现场，那么A和C不会都不在现场。
2.如果B不在现场，那么A也不在现场。
3.如果C 在现场，那么B在现场
4.除非E在现场，D才在现场。
5.D在现场
根据侦查人员掌握的以上情况，B是否在现场？请写出推理过程。
（A表示“A在现场”┐A 表示“A不在现场”，依此类推）
答案是B肯定在场。分析如下：
我们先把每一句用逻辑符号表示出来
1.E->(A V C)
2.┐B -> ┐A
3.C->B
4.E<-D
5.D
由（5）&（4）可推出E（6）
由（6）&（1) 可推出A V C(7)
由(2)可推出A->B(8)
又（3）&（8）可推出（A V C)->B（9）
再由(7)&(9)可推出B
所以B一定在场
由4、5知因为D。所以E。
由1所以AE或A、E或E、A。（*）
若C。由3知B。由2知A。成立
若C┐。由3知┐B。由2知┐A。与（*）矛盾。
所以C。所以B