Utilice el razonamiento natural de la lógica proposicional para determinar si fue Zhang Ping o Wang Lei quien robó la computadora.

Simboliza los hechos anteriores (1)==gt; (2) ==gt; (3) ==gt; ==gt;E. Como se puede ver en la pregunta, ambos ABCDE son hechos, es decir, ambos ABCDE son verdaderos. Verdadero por E == "Las luces de la sala de ordenadores se apagaron a medianoche. Si el testimonio de Wang Lei es exacto, entonces verdadero por C == " Las luces de la sala de ordenadores no se apagaron a medianoche. Por lo tanto, debido a la contradicción == "El testimonio de Wang Lei es inexacto, por lo que es cierto ==" El momento en que se cometió el crimen fue antes de la medianoche. Supongamos que Zhang Ping robó la computadora. Verdadero B ==》El crimen no pudo haberse cometido antes de la medianoche, lo cual es inconsistente con los hechos, por lo que no fue la computadora robada por Zhang Ping. Por lo tanto, Verdadero A==》Wang Lei robó la computadora. computadora.

Aunque he simbolizado algunas proposiciones y usado razonamiento lógico, no sé si el cartel quiere un proceso de razonamiento completamente simbólico, como la programación de computadoras. Es demasiado difícil de entender.