Question

一个公安人员审查一件盗窃案,已知下列事实

一公安人员审查一件盗窃案,得到如下事实:(1)张平或王磊盗窃了机房的计算机一
台;(2)若张平盗窃了计算机§则作案时间不可能发生在午夜之前;(3)若王磊的证词正确,则午夜时
机房里的灯未灭;(4)若王磊的证词不正确,则作案时间发生在午夜之前;(5)午夜时光机房灯灭了.
请将上述事实符号化,然后使用命题逻辑的自然推理,判断盗窃计算机的是张平还是王磊

Answer 1

黄磊
张平盗窃为A,黄磊为B,发生在午夜前为C,午夜时机房灯未灭为D,灭为-D
由题意得3）若A则D
又由5）知-D为真
则A为假,又由1）知A=-B,则B为真
所以盗窃的是黄磊则黄磊的证词不正确,所以盗窃的是黄磊