Sevilla, 1 de Abril del 2011.
Hoy en clase hemos hecho ejercicios de cálculo de deducción natural. Aquí los dejo resuelto.

En este último caso un compañero encontró otra manera de hacerlo que resultó interesante y por ello la pongo a continuación.

Para terminar resolvimos el caso del asesino.

• Siemens es el asesino = p
• Siemens estaba en Green Manor a la hora del crimen = q
• Siemenes estuvo en el club hasta las 17:30h. = r
• Siemenes no pudo coger el tren de las 17:25h. = s
• Siemenes tuvo que coger el tren de las 18:40h. = t
• Siemens no pudo llegar a Green Manor hasta las 20h. = u

Por último quiero avisar de que las fechas de los exámenes se han cambiado. El jueves día 7 de Abril es el examen y la recuperación queda fechada para el martes 12 de Abril.

Yael Guerra Sancho.