在一个盗窃案件中，己知下列事实：
①甲或乙是窃贼。
②若甲是窃贼，做案时间不会发生在夜间12点钟以前。
③若乙的证词正确，在夜间12点钟时被盗物品所在房间灯光未灭。
④若乙的证词不正确，则做案时间发生在夜间12点钟以前。
⑤夜间12点钟被盗房间灯光灭了。
根据以上事实解答或论证以下各题： 以上题中给出的5个复合命题为前提，判断甲、乙二人谁是窃贼(以符号形式给出)。

【参考答案】

结论：为乙是窃贼，符号化形式为q。[解析] 考查考生逻辑思维能力。