請將上述事實符號化，然後用命題邏輯的自然推理來判斷是張平還是王樂妍偷了電腦。

先假設:張平以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(選擇性推理的否定肯定形式)

四。結論

王樂妍偷了機房的電腦。