珠宝店失窃案的离散数学逻辑推理某珠宝店失窃后,分析出以下事实: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作案”,需要的是用公式表达的推理过程,

问题描述:

珠宝店失窃案的离散数学逻辑推理
某珠宝店失窃后,分析出以下事实:
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作案”,需要的是用公式表达的推理过程,

这有固定公式吗?

是b作案

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

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