请将上述事实符号化，然后用命题逻辑的自然推理来判断是张平还是王乐妍偷了电脑。

先假设:张平以P的身份偷了机房的电脑；王乐妍偷了机房的电脑给阿q；作案时间为午夜前r；王乐妍的证词是正确的；计算机房的灯半夜没有熄灭。

第二，象征化

①: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(选择性推理的否定肯定形式)

四。结论

王乐妍偷了机房的电脑。