Como solucionar problemas de aplicación de lógica matemática ?

Solucionar los siguientes enunciados y demostrar la validez o no validez del argumento dado a través de:
 Uso de las tablas de verdad.
 Uso de las reglas de inferencia.
 Uso del simulador Truth Table.

• En la escena de un robo, la policía se encuentra haciendo un interrogatorio a todos los testigos del hecho: “El reloj marcaba las 8:00 de la noche, entonces Carlos salió de su trabajo a las 7:00 pm y vio salir a Jaime de la empresa. Si la información de Jaime es veraz, entonces Carlos no vio salir a Jaime de la Empresa. La información de Jaime es veraz o estaba en la empresa en el momento del robo del dinero. El reloj marcaba las 8:00 de la noche. Por lo tanto, Jaime estaba en la empresa en el momento del robo del dinero”.