作业帮一公安人员审查一件盗窃案,得到如下事实:(1)张平或王磊盗窃了机房的计算机一台;(2)若张平盗窃了计算机§则作案时间不可能发生在午夜之前;(3)若王磊的证词正确,则午夜时机房里的灯未灭;(4
来源：学生作业帮助网 编辑：作业帮 时间：2024/04/29 09:51:33
一公安人员审查一件盗窃案,得到如下事实:(1)张平或王磊盗窃了机房的计算机一台;(2)若张平盗窃了计算机§则作案时间不可能发生在午夜之前;(3)若王磊的证词正确,则午夜时机房里的灯未灭;(4
一公安人员审查一件盗窃案,得到如下事实:(1)张平或王磊盗窃了机房的计算机一
台;(2)若张平盗窃了计算机§则作案时间不可能发生在午夜之前;(3)若王磊的证词正确,则午夜时
机房里的灯未灭;(4)若王磊的证词不正确,则作案时间发生在午夜之前;(5)午夜时光机房灯灭了.
请将上述事实符号化,然后使用命题逻辑的自然推理,判断盗窃计算机的是张平还是王磊
一公安人员审查一件盗窃案,得到如下事实:(1)张平或王磊盗窃了机房的计算机一台;(2)若张平盗窃了计算机§则作案时间不可能发生在午夜之前;(3)若王磊的证词正确,则午夜时机房里的灯未灭;(4
黄磊
张平盗窃为A,黄磊为B,发生在午夜前为C,午夜时机房灯未灭为D,灭为-D
由题意得3）若A则D
又由5）知-D为真
则A为假,又由1）知A=-B,则B为真
所以盗窃的是黄磊则黄磊的证词不正确,所以盗窃的是黄磊
王磊
一、设：张平盗窃了机房的计算机为p；王磊盗窃了机房的计算机为q；作案时间发生在午夜之前为r；王磊的证词正确为s；午夜时机房里的灯未灭为t。
二、符号化
①:p∨q
②:p→¬r
③:s→t
④:¬s→r
⑤:¬t
三、推导
⑥:由⑤和③得出((s→t）∧¬t) →¬s（充分条件假言推理否定后件式...
全部展开
一、设：张平盗窃了机房的计算机为p；王磊盗窃了机房的计算机为q；作案时间发生在午夜之前为r；王磊的证词正确为s；午夜时机房里的灯未灭为t。
二、符号化
①:p∨q
②:p→¬r
③:s→t
④:¬s→r
⑤:¬t
三、推导
⑥:由⑤和③得出((s→t）∧¬t) →¬s（充分条件假言推理否定后件式）
⑦:由⑥和④得出((¬s→r) ∧¬s) →r（充分条件假言推理肯定前件式）
⑧:由⑦和②得出((p→¬r) ∧r) →¬p（充分条件假言推理否定后件式）
⑨:由⑧和①得出((p∨q) ∧¬p→q（选言推理否定肯定式）
四、结论
王磊盗窃了机房的计算机
收起
王磊
因为5，所以3，王的证词是错的，作案时间发生在午夜之前。
因为2，张平不可能在午夜之前偷了计算机，所以他是无辜的。
真犯人是王磊，他捏造证词。