一公安人员审查一件盗窃案,得到如下事实:(1)张平或王磊盗窃了机房的计算机一台;(2)若张平盗窃了计算机§则作案时间不可能发生在午夜之前;(3)若王磊的证词正确,则午夜时机房里的灯未灭;(4)若王磊的证词不正确,则作案时间发生在午夜之前;(5)午夜时光机房灯灭了.请将上述事实符号化,然后使用命题逻辑的自然推理,判断盗窃计算机的是张平还是王磊 数学
网友回答
【答案】 黄磊
张平盗窃为A,黄磊为B,发生在午夜前为C,午夜时机房灯未灭为D,灭为-D
由题意得3）若A则D
又由5）知-D为真
则A为假,又由1）知A=-B,则B为真
所以盗窃的是黄磊则黄磊的证词不正确,所以盗窃的是黄磊