问题标题：
珠宝店失窃案的离散数学逻辑推理某珠宝店失窃后,分析出以下事实：1.营业员A或B盗窃了珠宝2.若A作案,则作案时间不在营业时间；3.若B提供的证词正确,则货柜没有上锁；4.若B提供的证词不
问题描述：
珠宝店失窃案的离散数学逻辑推理
某珠宝店失窃后,分析出以下事实：
1.营业员A或B盗窃了珠宝
2.若A作案,则作案时间不在营业时间；
3.若B提供的证词正确,则货柜没有上锁；
4.若B提供的证词不正确,则作案时间在营业时间；
5.货柜上了锁；
试用推理规则,推理理论的格式推断出案情真相.
如下题目格式：
(P∨Q)/(P->B)/(Q->S)=>S∨R
证:
1)P∨QP
2)┒P->QT(1)E
3)Q->SP
4)┒P->ST(2),(3)I
5)┒S->PT(4)E
6)┒P->RP
7)┒S->RT(5),(6)I
8)S∨RT(7)E
结果知道是“B作案”，需要的是用公式表达的推理过程，
姜恩华回答：
由5;3得到B的证词不正确;再由4;2得出不是A偷的;再由1得是B偷的
查看更多
