珠宝店失窃案的离散数学逻辑推理

显示全部楼层 · 2009-5-2 21:03:49

某珠宝店失窃后，分析出以下事实：
1.营业员A或B盗窃了珠宝
2.若A作案，则作案时间不在营业时间；
3.若B提供的证词正确，则货柜没有上锁；
4.若B提供的证词不正确，则作案时间在营业时间；
5.货柜上了锁；
试用推理规则，推理理论的格式推断出案情真相。
需要详细推理过程，谢谢。
如下题目格式：
(P∨Q)/\(P->B)/\(Q->S)=>S∨R
证:
1)P∨Q P
2)┒P->Q T(1) E
3)Q->S P
4)┒P->S T(2),(3)I
5)┒S->P T(4) E
6)┒P->R P
7)┒S->R T(5),(6)I
8)S∨R T(7) E
结果知道是“B作案”，需要的是用公式表达的推理过程，谢谢！

千问 · 2009-5-2 21:03:49

由5;3得到B的证词不正确;再由4;2得出不是A偷的;再由1得是B偷的...

千问 · 2009-5-2 21:03:49

是b作案...

千问 · 2009-5-2 21:03:49

1.由5和3可知，b的证词不正确。2.由2和4可知，不是a作案。3.那么，就是b作案。...