问答题
在一个盗窃案件中，己知下列事实：
①甲或乙是窃贼。
②若甲是窃贼，做案时间不会发生在夜间12点钟以前。
③若乙的证词正确，在夜间12点钟时被盗物品所在房间灯光未灭。
④若乙的证词不正确，则做案时间发生在夜间12点钟以前。
⑤夜间12点钟被盗房间灯光灭了。
根据以上事实解答或论证以下各题： 用命题逻辑推理理论写出(2)中结论的判断过程(要求写出每一步所用的推理规则)。
【参考答案】
整个推理由下面9步组成
①s→t前提引入
②┐t前提引入
③
(↓↓↓ 点击下方‘点击查看答案’看完整答案 ↓↓↓)