Simbolice los hechos anteriores y luego utilice el razonamiento natural de la lógica proposicional para determinar si Zhang Ping o Wang Leyan robaron la computadora.

Supongamos primero que: Zhang Ping robó la computadora en la sala de computadoras como P; Wang Leyan robó la computadora en la sala de computadoras a A Q; el momento del crimen fue antes de la medianoche; el testimonio de Wang Leyan no fue correcto; salir en medio de la noche.

Segundo, simbolización

①:p∨q

②:p→?r

③:s→t< /p >

④:?s→r

⑤:?t

Tercero, derivación

⑥: De ⑥ y ③ ((s →t) ∧?t) →? s (el razonamiento de hipótesis condicional suficiente niega la fórmula posterior)

⑦: De ⑦ y ④((?s→r) ∧?S) →r (el razonamiento de hipótesis condicional suficiente afirma el antecedente)

⑧: De ⑦ y ② ((p→?r) ∧r) →? p (el razonamiento de hipótesis condicional suficiente niega este último)

⑨: de ⑧ y ① ((p∨q) ∧?P→q (forma afirmativa negativa de razonamiento selectivo)

4 Conclusión

Wang Leyan robó la computadora en la sala de computadoras

.